49 search results - page 9 / 10 » A Modular Action Description Language for Protocol Compositi... |
MMMACNS
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
IFIP
2005
Springer
13 years 11 months ago
2005
Springer
In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze crit...
ECOOP
2010
Springer
13 years 10 months ago
2010
Springer
Following the scenario-based approach to programming which centered around live sequence charts (LSCs), we propose a general approach to software development in Java. A program wil...
WWW
2006
ACM
14 years 6 months ago
2006
ACM
To maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions ...
PRIMA
2001
Springer
13 years 9 months ago
2001
Springer
One of the most appealing features of multiagent technology is its natural way to modularise a complex system in terms of multiple, interacting and autonomous components. As a natu...