1323 search results - page 93 / 265 » Extended Modeling Languages for Interaction Protocol Design |
119
Voted
IJFCS
2007
15 years 3 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
154
Voted
ACMICEC
2007
ACM
15 years 7 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
149
Voted
ICECCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
123
Voted
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Transporting video over wireless networks has twofold constraints. Not only should it satisfy delay requirements but power minimization and QoS issues should be handled...
124
Voted
SIGSOFT
1998
ACM
15 years 7 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...