Resultados de procura - interaction ((conditions programming) OR (foundations programming)) definition based tools*

Search alternatives:
foundations programming » equations programming , foundations program , foundation programme
conditions programming » conventions programming , edition programming , continuous programming
definition based » definition case , definition basic , definition causes
based tools » based tool , basic tools

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Publicado 2008

Table of Contents: “... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”
Ligazón do recurso

Electrónico eBook

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /

Publicado 2010

Table of Contents: “... – Reusable Elements of User-System Interaction -- A Metamodel-Based Approach for Automatic User Interface...”
Ligazón do recurso

Electrónico eBook

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Publicado 2007

Table of Contents: “... Hybrid Register File Architecture -- Model Based Performance Evaluation for MPI Programs -- Runtime...”
Ligazón do recurso

Electrónico eBook

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /

Publicado 2014

Table of Contents: “... Programming in Maude -- Confluence: The Unifying, Expressive Power of Locality -- Foundations for Ensemble...”
Ligazón do recurso

Electrónico eBook

Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings /

Publicado 2005

Table of Contents: “... the Relevant Instances That May Violate an OCL Constraint -- Event-Based Modeling of Evolution for Semantic...”
Ligazón do recurso

Electrónico eBook

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /

Publicado 2014

Table of Contents: “... -- Definition, Semantics and Analysis of Multi rate Synchronous AADL -- Trust Found: Towards a Formal Foundation...”
Ligazón do recurso

Electrónico eBook

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Publicado 2006

Table of Contents: “... of Personality-Based Agents -- GAPatrol: An Evolutionary Multiagent Approach for the Automatic Definition...”
Ligazón do recurso

Electrónico eBook

Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy /

Publicado 2008

Table of Contents: “... Intelligent Systems -- A Map-based Integration of Ontologies into an Object-Oriented Programming Language....”
Ligazón do recurso

Electrónico eBook

Artificial Intelligence in Theory and Practice IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile /

Publicado 2006

Table of Contents: “... Definition Questions by Two Machine Learning Approaches -- Fuzzy Rule-Based Hand Gesture Recognition...”
Ligazón do recurso

Electrónico eBook

Emerging Technologies and Information Systems for the Knowledge Society First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings /

Publicado 2008

Table of Contents: “... Distribution Service -- Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts...”
Ligazón do recurso

Electrónico eBook

Resultados Agrupados