Sciweavers

10707 search results - page 26 / 2142
» Designing executable abstractions
Sort
View
ECP
1997
Springer
92views Robotics» more  ECP 1997»
15 years 2 months ago
Time-Oriented Skeletal Plans: Support to Design and Execution
Silvia Miksch, Yuval Shahar, Werner Horn, Christia...
JOT
2007
105views more  JOT 2007»
14 years 9 months ago
Designing and Weaving Aspect-Oriented Executable UML Models
Lidia Fuentes, Pablo Sánchez
CSSE
2008
IEEE
15 years 4 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
ICAS
2008
IEEE
201views Robotics» more  ICAS 2008»
15 years 4 months ago
Distributed Reasoning for Context-Aware Services through Design of an OWL Meta-Model
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
Stijn Verstichel, Matthias Strobbe, Pieter Simoens...