406 search results - page 63 / 82 » Semantic Modelling in Agent-Based Software Development |
AMAST
2006
Springer
15 years 3 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
109
click to vote
FOSSACS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
UML
2005
Springer
15 years 5 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
IUI
2003
ACM
15 years 5 months ago
2003
ACM
This paper describes lessons learned in developing the linguistic, cognitive, emotional, and gestural models underlying virtual human behavior in a training application designed t...
106
click to vote
EMSOFT
2010
Springer
14 years 9 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...