2106 search results - page 37 / 422 » Operational Semantics for DyLPs |
AAAI
2006
13 years 11 months ago
2006
Since the description of the Semantic Web paradigm in 2001, technology has been proposed to allow its deployment and use. However, there is not yet any large and widely deployed s...
FUIN
2008
13 years 10 months ago
2008
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...
CONCUR
1994
Springer
14 years 2 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
IFM
2000
Springer
14 years 1 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
BIS
2009
13 years 11 months ago
2009
The field of Semantic Business Process Management (SBPM) has refuelled interest in using ontologies for the representation of the static and dynamic aspects of an enterprise and va...