18 search results - page 3 / 4 » An Extensible Architecture-based Framework for Coordination ... |
FMCO
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
IJCIS
2006
13 years 6 months ago
2006
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...
ENTCS
2000
13 years 6 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
This work focuses on an emerging extension to traditional agent models, called Hierarchical Mobile Agents model, where an agent can contain other agents recursively. The model ena...
W2GIS
2007
Springer
14 years 10 days ago
2007
Springer
User interaction is mostly based on forms. However, forms are restricted to alphanumerical data – the editing of geospatial data is not supported. This statement does not only ho...