Sciweavers

1122 search results - page 21 / 225
» Behavioral Extensions of Institutions
Sort
View
ESAW
2009
Springer
14 years 1 months ago
Normative Multi-Agent Organizations
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...
Mehdi Dastani
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
14 years 2 months ago
Towards a formal semantics for the AADL behavior annex
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
VL
2009
IEEE
152views Visual Languages» more  VL 2009»
14 years 2 months ago
FireCrystal: Understanding interactive behaviors in dynamic web pages
For developers debugging their own code, augmenting the code of others, or trying to learn the implementation details of interactive behaviors, understanding how web pages work is...
Stephen Oney, Brad A. Myers
VLDB
2007
ACM
161views Database» more  VLDB 2007»
14 years 1 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
GECCO
2003
Springer
138views Optimization» more  GECCO 2003»
14 years 18 days ago
Emergence of Collective Behavior in Evolving Populations of Flying Agents
We demonstrate the emergence of collective behavior in two evolutionary computation systems, one an evolutionary extension of a classic (highly constrained) flocking algorithm and...
Lee Spector, Jon Klein, Chris Perry, Mark Feinstei...