1
Publié 2010
Table des matières: ...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...
Accéder au texte intégral
Électronique eBook
2
Publié 2014
Table des matières: ... Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems via CEGAR...
Accéder au texte intégral
Électronique eBook
3
Publié 2012
Table des matières: ... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...
Accéder au texte intégral
Électronique eBook
4
Publié 2012
Table des matières: ...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...
Accéder au texte intégral
Électronique eBook
5
Publié 2008
Table des matières: ... Human Motion Reconstruction Using Video Processing -- New Interfaces -- Personal Recognition Using...
Accéder au texte intégral
Électronique eBook
6
Publié 2015
Table des matières: ... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...
Accéder au texte intégral
Électronique eBook
7
Table des matières: ...User Guide -- Brain–Computer Interfaces -- Brain Sensors and Signals -- Introducing BCI2000 -- Tour...
Accéder au texte intégral
Électronique eBook
8
Publié 2015
Table des matières: ... -- Shifting processes with cyclically exchangeable increments at random -- Asymptotic Behaviour of Poisson...
Accéder au texte intégral
Électronique eBook
9
Publié 2012
Table des matières: ....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...
Accéder au texte intégral
Électronique eBook
10
Publié 2012
Table des matières: ....- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods...
Accéder au texte intégral
Électronique eBook
11
Publié 2012
Table des matières: ... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...
Accéder au texte intégral
Électronique eBook
12
Publié 2006
Table des matières: ... for Lexical Normalization -- A Framework for Integrating Natural Language Tools -- Methods and Tools...
Accéder au texte intégral
Électronique eBook
13
Publié 2008
Table des matières: ... in the Widespread Adoption of Hybrid Learning Strategies -- A Proposal for a Lifecycle Process for Hybrid Learning...
Accéder au texte intégral
Électronique eBook
14
Publié 2013
Table des matières: ... Based Early Programming Education: The More You Play, the More You Learn -- Story Guided Virtual...
Accéder au texte intégral
Électronique eBook
15
Publié 2013
Table des matières: ...On The Move Academy -- Industry Case Studies Program -- Adaptive Case Management and other non...
Accéder au texte intégral
Électronique eBook
16
Publié 2005
Table des matières: ... Process to Meet Agile Needs Using Method Engineering -- A Generative Approach for Multi-agent System...
Accéder au texte intégral
Électronique eBook
17
Publié 2008
Table des matières: ... Epistemic Interface Design -- Enhancing State-Space Tree Diagrams for Collaborative Problem Solving...
Accéder au texte intégral
Électronique eBook
18
Publié 2008
Table des matières: ... Methods of Web Learning -- An Online Special Terminology Interpreting System for Bilingual Instruction...
Accéder au texte intégral
Électronique eBook
19
Publié 2008
Table des matières: ...Performance Analysis of an Adaptive User Interface System Based on Mobile Agents -- Combining Human...
Accéder au texte intégral
Électronique eBook
20
Publié 2005
Table des matières: ... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...
Accéder au texte intégral
Électronique eBook