598 search results - page 71 / 120 » Aspect-Oriented Development Using Protocol Modeling |
DALT
2006
Springer
14 years 1 months ago
2006
Springer
Social commitments are developed for multi-agent systems according to the current practice in law regarding contract formation and breach. Deafeasible commitments are used to provi...
APSEC
2005
IEEE
14 years 3 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
CARS
2004
13 years 11 months ago
2004
In this paper we describe the development of an interactive virtual reality (VR) system that aims to realistically simulate specific paracentesis clinical procedures (particularly ...
CONCURRENCY
2002
13 years 9 months ago
2002
: The accelerated development in Peer-to-Peer (P2P) and Grid computing has positioned them as promising next generation computing platforms. They enable the creation of Virtual Ent...
DLOG
2006
13 years 11 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...