120 search results - page 8 / 24 » A Formal Language for Electronic Contracts |
WETICE
2005
IEEE
15 years 3 months ago
2005
IEEE
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
101
click to vote
UML
2004
Springer
15 years 2 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
ICDCS
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper introduces a mechanism for establishing policies for electronic commerce in a uni ed and secure manner. A commercial policy can be viewed as the embodiment of a contrac...
101
click to vote
FMCO
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
AOSE
2005
Springer
15 years 3 months ago
2005
Springer
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...