Sciweavers

321 search results - page 28 / 65
» Specifying Executable Platform-Independent Models using OCL
Sort
View
ATAL
2003
Springer
14 years 1 months ago
Expressive global protocols via logic-based electronic institutions
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
Wamberto Weber Vasconcelos
AMS
2005
Springer
112views Robotics» more  AMS 2005»
14 years 2 months ago
Combining Learning and Programming for High-Performance Robot Controllers
Abstract. The implementation of high-performance robot controllers for complex control tasks such as playing autonomous robot soccer is tedious, errorprone, and a never ending prog...
Alexandra Kirsch, Michael Beetz
PPOPP
2012
ACM
12 years 4 months ago
Synchronization views for event-loop actors
The actor model has already proven itself as an interesting concurrency model that avoids issues such as deadlocks and race conditions by construction, and thus facilitates concur...
Joeri De Koster, Stefan Marr, Theo D'Hondt
ISAMI
2010
13 years 6 months ago
A Framework for Modeling and Analysis of Ambient Agent Systems: Application to an Emergency Case
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
Tibor Bosse, Alexei Sharpanskykh
BPM
2008
Springer
142views Business» more  BPM 2008»
13 years 10 months ago
Towards Process Models for Disaster Response
In the immediate aftermath of a disaster routine processes, even if specifically designed for such a situation, are not enacted blindly. Actions and processes rather adapt their be...
Dirk Fahland, Heiko Woith