55 search results - page 9 / 11 » Causality and the Spatial-Temporal Ordering of Events in Mob... |
APN
2006
Springer
13 years 11 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
ADMI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Autonomous agents are systems situated in dynamic environments. They pursue goals and satisfy their needs by responding to external events from the environment. In these ...
SMC
2007
IEEE
14 years 1 months ago
2007
IEEE
—Rooted in a deep understanding of their major properties, a control paradigm for complex systems is proposed based on latest advances in modeling the dynamics of complex network...
LCPC
2001
Springer
13 years 11 months ago
2001
Springer
This paper discusses the potential benefits of applicationspecific power management through remote task execution. Power management is crucial for mobile devices that have to re...
IFIP
2004
Springer
14 years 23 days ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...