419 search results - page 30 / 84 » Interacting State Machines for Mobility |
118
click to vote
JALC
2006
15 years 1 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
15 years 5 months 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 ...
117
click to vote
SIMVIS
2004
15 years 3 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...
125
click to vote
RE
2004
Springer
15 years 7 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...
185
click to vote
ESEC
1999
Springer
15 years 6 months 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 ...