974 search results - page 65 / 195 » Formal Modeling of Communication Traces |
ACOM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Although several approaches to the semantics of agent communication have been proposed, none of them is really suitable for dealing with agent autonomy, which is a decisi...
JCS
2007
14 years 11 months ago
2007
Many emerging applications in both wired and wireless networks need support of secure group communications. There have been many secure group communication schemes in the setting ...
100
click to vote
JALC
2006
14 years 11 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
ICDCS
1995
IEEE
1995
IEEE
Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication
15 years 3 months ago
A distributed algorithm that implements a sequentially consistent collection of shared read/update objects using a combination of broadcast and point-to-point communication is pre...
ECSA
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...