Sciweavers

169 search results - page 4 / 34
» Exceptions in Component Interaction Protocols - Necessity
Sort
View
109
Voted
AGENTS
2001
Springer
15 years 2 months ago
Building agents for service provisioning out of components
The CASA architecture describes a platform for the provisioning of services by agents by supporting three levels of agent design. At the base level is a framework to build an agen...
Ralf Sesseler
83
Voted
ICMAS
1998
14 years 11 months ago
Agents in Electronic Commerce: Component Technologies for Automated Negotiation and Coalition Formation
Automated negotiation and coalition formation among self-interested agents are playing an increasingly important role in electronic commerce. Such agents cannot be coordinated by ...
Tuomas Sandholm
JCS
2006
91views more  JCS 2006»
14 years 9 months ago
A survey of algebraic properties used in cryptographic protocols
Abstract: Cryptographic protocols are successfully analyzed using formal methods. However, formal approaches usually consider the encryption schemes as black boxes and assume that ...
Véronique Cortier, Stéphanie Delaune...
73
Voted
SIES
2007
IEEE
15 years 3 months ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova
WWW
2004
ACM
15 years 10 months ago
A semantic approach for designing business protocols
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
Ashok U. Mallya, Munindar P. Singh