127 search results - page 8 / 26 » Stochastic Ambient Calculus |
CL
2002
Springer
13 years 7 months ago
2002
Springer
A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ...
FOSSACS
1998
Springer
13 years 12 months ago
1998
Springer
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.
IWQOS
2005
Springer
14 years 1 months ago
2005
Springer
Many communication networks such as wireless networks only provide stochastic service guarantees. For analyzing stochastic service guarantees, research efforts have been made in ...
ICTCS
2001
Springer
14 years 2 days ago
2001
Springer
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...
FM
2003
Springer
14 years 26 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...