2558 search results - page 36 / 512 » Model Composition Contracts |
125
Voted
MASA
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we present a fairly complex example of how the social model for agent conversations based on social commitments we have developed in the past formally supports the im...
IFIP
2009
Springer
15 years 8 days ago
2009
Springer
A multi-party contract signing (MPCS) protocol is used for a group of signers to sign a digital contract over a network. We analyse the protocols of Mukhamedov and Ryan (MR), and o...
125
click to vote
SAINT
2003
IEEE
15 years 7 months ago
2003
IEEE
—The dynamic composition of existing services into new services is at the core of service-oriented computing. The objective of FRESCO (Foundational Research on Service Compositio...
115
Voted
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
133
Voted
JOT
2008
15 years 2 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...