419 search results - page 30 / 84 » Interacting State Machines for Mobility |
JALC
2006
13 years 8 months ago
2006
Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. We study the case where mobile programs are executed by a host system in a secured environm...
MA
2000
Springer
14 years 7 days ago
2000
Springer
NOMADS is a Java-based agent system that supports strong mobility (i.e., the ability to capture and transfer the full execution state of migrating agents) and safe agent execution ...
SIMVIS
2004
13 years 10 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
RE
2004
Springer
14 years 2 months ago
2004
Springer
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...
ESEC
1999
Springer
14 years 29 days ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...