1122 search results - page 71 / 225 » Behavioral Extensions of Institutions |
CSR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
IV
2000
IEEE
15 years 2 months ago
2000
IEEE
In the emerging field of E-Commerce we show the great potential interest to create 3D virtual shopping centers. The study of a specific application: the creation of an electric ho...
ROBOCUP
1999
Springer
15 years 2 months ago
1999
Springer
This paper describes the CMUnited-99 small-size robot team. The team builds on our previous RoboCup champion teams (’97 and ’98). The team reuses much of the hardware, percepti...
CALCO
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. CIRC is an automated circular coinductive prover implemented as an extension of Maude. The circular coinductive technique that forms the core of CIRC is discussed, togeth...
SE
2007
14 years 11 months ago
2007
Agile methodologies can be enhanced by the use of shadows as this feature because of its inherent ability to dynamically change the behavior of classes and objects, provides mecha...