Sciweavers

2608 search results - page 396 / 522
» Issue Management
Sort
View
94
Voted
ISW
2001
Springer
15 years 7 months ago
An Optimistic Non-repudiation Protocol with Transparent Trusted Third Party
Abstract. In this paper we consider a new and efficient optimistic nonrepudiation protocol. In a non-repudiation protocol, during which Alice wants to transmit a message to Bob, Al...
Olivier Markowitch, Steve Kremer
MMMACNS
2001
Springer
15 years 7 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
IPPS
2000
IEEE
15 years 7 months ago
Building a Reliable Message Delivery System Using the CORBA Event Service
In this paper we study the suitability of the CORBA Event Service as a reliable message delivery mechanism. We first show that products built to the CORBA Event Service specificati...
Srinivasan Ramani, Balakrishnan Dasarathy, Kishor ...
KBSE
2000
IEEE
15 years 7 months ago
Using Little-JIL to Coordinate Agents in Software Engineering
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
Alexander E. Wise, Aaron G. Cass, Barbara Staudt L...
ACMDIS
2000
ACM
15 years 7 months ago
Lingua Francas for Design: Sacred Places and Pattern Languages
A central challenge in interaction design has to do with its diversity. Designers, engineers, managers, marketers, researchers and users all have important contributions to make t...
Thomas Erickson