925 search results - page 25 / 185 » Typing Component-Based Communication Systems |
CCS
2004
ACM
14 years 3 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
TSD
2001
Springer
14 years 2 months ago
2001
Springer
The Internet offers remote access to many information systems to users independent of time and location. This paper describes an agent based approach to deal with issues that rise ...
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
APLAS
2007
ACM
14 years 1 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
WETICE
2002
IEEE
14 years 2 months ago
2002
IEEE
Networks of wireless microsensors for monitoring physical environments have emerged as an important new application area for the wireless technology. Key attributes of these new t...