577 search results - page 50 / 116 » Equations for Describing Dynamic Nets of Communicating Syste... |
WWW
2003
ACM
14 years 8 months ago
2003
ACM
This paper describes a dynamic service reconfiguration model where the proxy is composed of a chain of service objects called mobilets (pronounced as mo-be-lets), which can be dep...
SACMAT
2003
ACM
14 years 28 days ago
2003
ACM
Traditional network security technologies such as firewalls and intrusion detection systems usually work according to a static ruleset only. We believe that a better approach to ...
CAISE
2003
Springer
14 years 27 days ago
2003
Springer
We define a Mobile Database Community (MDBC) as a dynamic collection of autonomous mobile databases in which each database user can access databases in the community through a wir...
SRDS
2000
IEEE
14 years 1 days ago
2000
IEEE
Validation of distributed systems using fault injection is difficult because of their inherent complexity, lack of a global clock, and lack of an easily accessible notion of a gl...
FM
2003
Springer
14 years 27 days ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...