19 search results - page 4 / 4 » Bridging the Gap between High-Level Reasoning and Low-Level ... |
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Dynamic evolution has been an essential requirement for more and more business systems which attempt to provide 7(days) x 24(hours) availability and flexible adaptability on the c...
CAISE
2010
Springer
13 years 5 months ago
2010
Springer
Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between both workflow and access control systems. There are tw...
ACOM
2004
Springer
13 years 8 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
ENTCS
2008
13 years 5 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...