798 search results - page 39 / 160 » Statecharts as Protocols for Objects |
151
click to vote
HICSS
1996
IEEE
15 years 6 months ago
1996
IEEE
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we present a new protocol to address multilateral multi-issue negotiation in a cooperative context. We consider complex dependencies between multiple issues by mode...
107
click to vote
CSFW
2000
IEEE
15 years 5 months ago
2000
IEEE
We propose an approach to support confidentiality for mobile implementations of security-sensitive protocols using Java/JVM. An applet which receives and passes on confidential in...
114
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
The pervasiveness of wireless communication recently gave mobile ad hoc networks (MANET) a significant researcher's attention, due to its innate capabilities of instant commu...
ENTCS
2000
15 years 1 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...