default search action
9th ICTERI 2013: Kherson, Ukraine - Revised Selected Papers
- Vadim Ermolayev
, Heinrich C. Mayr, Mykola S. Nikitchenko
Information and Communication Technologies in Education, Research, and Industrial Applications - 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers. Communications in Computer and Information Science 412, Springer 2013, ISBN 978-3-319-03997-8
Invited Contributions
- Wolf-Ekkehard Matzke:
Biotechnology, Synthetic Biology, and ICT Define the Emerging Knowledge-Based Bio-Economy. 1-19 - Alexander A. Letichevsky:
Theory of Interaction, Insertion Modeling, and Cognitive Architectures. 20-40 - Gary L. Pratt:
From Collegial to Collaborative - A Model for Building Trust and Partnership in Information Technology. 41-49
Systems, Infrastructures, and Integration
- Nikolay Tkachuk, Vladyslav Sokol, Kateryna Glukhovtsova:
An Integrated Development Framework for Advanced IT-Service Management: Proof-of-Concept Project in Universities Domain. 50-69 - Anatoliy Doroshenko
Developing and Optimizing Parallel Programs with Algebra-Algorithmic and Term Rewriting Tools. 70-92 - Anastasiia Varava, Grygoriy Zholtkevych
Asymptotical Information Bound of Consecutive Qubit Binary Testing. 93-111 - Vyacheslav Kharchenko
Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study. 112-135
Semantics, Knowledge Engineering and Management
- Olga Tatarintseva, Vadim Ermolayev
Quantifying Ontology Fitness in OntoElect Using Saturation- and Vote-Based Metrics. 136-162 - Maxim Davidovsky, Vadim Ermolayev
Evaluation of the Ontology Instance Migration Methodology and Solution in Industrial Settings. 163-189 - Grygoriy Zholtkevych
Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. 190-209
ICT in Teaching Methodologies and Didactics
- Michael Cochez
How Do Computer Science Students Use Distributed Version Control Systems? 210-228 - Nataliya Kushnir
Bridging the Generation Gap in ICT Education. 229-251 - Aleksander Spivakovsky
Three-Subjective Didactic Model. 252-273 - Mariya Shyshkina
Emerging Technologies for Training of ICT-Skilled Educational Personnel. 274-284
Model-Driven Software Development and Verification
- Yuliia Romenska, Frédéric Mallet
Improving the Efficiency of Synchronized Product with Infinite Transition Systems. 285-307 - Ievgen Ivanov:
On Existence of Total Input-Output Pairs of Abstract Time Systems. 308-331 - Vladimir S. Peschanenko
Specializations in Symbolic Verification. 332-354 - Andrii Kryvolap
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. 355-378
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: