671 search results - page 62 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
122
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
100
click to vote
CRYPTO
2010
Springer
15 years 1 months ago
2010
Springer
Coin-tossing protocols are protocols that generate a random bit with uniform distribution. These protocols are used as a building block in many cryptographic protocols. Cleve [STOC...
WWW
2003
ACM
16 years 2 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...
116
click to vote
WOA
2007
15 years 2 months ago
2007
—This paper presents a framework supporting the definition and implementation of virtual environment inhabited by interacting situated agents defined according to the Multilayere...
130
click to vote
PADL
2012
Springer
13 years 9 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...