955 search results - page 127 / 191 » Semantic Approach to Dynamic Coordination in Autonomous Syst... |
FSEN
2007
Springer
14 years 3 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
In online, dynamic environments, the services requested by consumers may not be readily served by the providers. This requires the service consumers and providers to negotiate the...
ICSOC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. A self-managed system is both self-assembling and selfhealing. Service-oriented Computing (SoC) architectures, such as a Web Services Architecture (WS-A) illustrate a hig...
FASE
2003
Springer
14 years 2 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
MIG
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...