117 search results - page 22 / 24 » A Dynamic Approach to Characterizing Termination of General ... |
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
This work focuses on an emerging extension to traditional agent models, called Hierarchical Mobile Agents model, where an agent can contain other agents recursively. The model ena...
DAM
2007
13 years 6 months ago
2007
In 1997 Lampert and Slater introduced parallel knock-out schemes, an iterative process on graphs that goes through several rounds. In each round of this process, every vertex elim...
POPL
2005
ACM
14 years 6 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
MABS
2005
Springer
13 years 11 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
ASPLOS
2004
ACM
13 years 11 months ago
2004
ACM
Power density in high-performance processors continues to increase with technology generations as scaling of current, clock speed, and device density outpaces the downscaling of s...