255 search results - page 35 / 51 » An abstraction model for a Grid execution framework |
IWFM
2000
13 years 9 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The proliferation of interconnected computing devices is fostering the emergence of environments where Web services made available to mobile users are a commodity. Unfort...
STTT
2008
13 years 7 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
SWQD
2012
12 years 3 months ago
2012
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...
ACL
2012
11 years 10 months ago
2012
Comprehending action preconditions and effects is an essential step in modeling the dynamics of the world. In this paper, we express the semantics of precondition relations extrac...