211 search results - page 37 / 43 » Towards the Operational Semantics of User-Centric Communicat... |
P2P
2006
IEEE
14 years 1 months ago
2006
IEEE
Recently there has been an increasing interest to harness the potential of P2P technology to design and build rich environments where services are provided and multiple applicatio...
INFOCOM
2000
IEEE
14 years 4 days ago
2000
IEEE
—Although IP Multicast is an effective network primitive for best-effort, large-scale, multi-point communication, many multicast applications such as shared whiteboards, multi-pl...
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
FM
2003
Springer
14 years 1 months 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...