462 search results - page 12 / 93 » Supporting e-commerce systems formalization with choreograph... |
AGTIVE
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
CSFW
2012
IEEE
11 years 10 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
JOT
2007
13 years 8 months ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
COMPSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...