1
Publicat 2008
Taula de continguts: ... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ... – Reusable Elements of User-System Interaction -- A Metamodel-Based Approach for Automatic User Interface...
Obtenir text complet
Electrònic eBook
3
Publicat 2007
Taula de continguts: ... Hybrid Register File Architecture -- Model Based Performance Evaluation for MPI Programs -- Runtime...
Obtenir text complet
Electrònic eBook
4
Publicat 2014
Taula de continguts: ... Programming in Maude -- Confluence: The Unifying, Expressive Power of Locality -- Foundations for Ensemble...
Obtenir text complet
Electrònic eBook
5
Publicat 2005
Taula de continguts: ... the Relevant Instances That May Violate an OCL Constraint -- Event-Based Modeling of Evolution for Semantic...
Obtenir text complet
Electrònic eBook
6
Publicat 2014
Taula de continguts: ... -- Definition, Semantics and Analysis of Multi rate Synchronous AADL -- Trust Found: Towards a Formal Foundation...
Obtenir text complet
Electrònic eBook
7
Publicat 2006
Taula de continguts: ... of Personality-Based Agents -- GAPatrol: An Evolutionary Multiagent Approach for the Automatic Definition...
Obtenir text complet
Electrònic eBook
8
Publicat 2008
Taula de continguts: ... Intelligent Systems -- A Map-based Integration of Ontologies into an Object-Oriented Programming Language....
Obtenir text complet
Electrònic eBook
9
Publicat 2006
Taula de continguts: ... Definition Questions by Two Machine Learning Approaches -- Fuzzy Rule-Based Hand Gesture Recognition...
Obtenir text complet
Electrònic eBook
10
Publicat 2008
Taula de continguts: ... Distribution Service -- Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts...
Obtenir text complet
Electrònic eBook