9821 search results - page 48 / 1965 » A Framework for the Development of Protocols |
AOSE
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes the Organization-based Multiagent System Engineering (O-MaSE) Process Framework, which helps process engineers define custom multiagent systems development pr...
FUIN
2008
13 years 7 months ago
2008
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...
SRDS
2003
IEEE
14 years 26 days ago
2003
IEEE
The paper presents and compares Appia and Cactus, two frameworks for protocol composition. The comparison is based on the experience gained in implementing a faulttolerant Atomic ...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Web services technology has become a key technology for system integration and the implementation of service-oriented architectures. However, many organizations are still facing c...
MOBILIGHT
2010
13 years 5 months ago
2010
Advancements in network technologies dramatically increased management complexity. Cognitive networking was introduced to deal with this problem, by providing algorithms for autono...