Sciweavers

2123 search results - page 285 / 425
» Composition of Cyber-Physical Systems
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 10 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
ISMIR
2005
Springer
149views Music» more  ISMIR 2005»
15 years 10 months ago
Annotating Musical Scores in ENP
The focus of this paper is on ENP-expressions that can be used for annotating ENP scores with user definable information. ENP is a music notation program written in Lisp and CLOS...
Mika Kuuskankare, Mikael Laurson
POLICY
2005
Springer
15 years 10 months ago
Approximating Service Utility from Policies and Value Function Patterns
Service-oriented computing provides the right means for building flexible systems that allow dynamic configuration and on-the-fly composition. In order to realize this vision, ...
Steffen Lamparter, Daniel Oberle, Andreas Eberhart
PROMAS
2005
Springer
15 years 10 months ago
Extending the Capability Concept for Flexible BDI Agent Modularization
Abstract. Multi-agent systems are a natural way of decomposing complex systems into more manageable and decentralized units. Nevertheless, as single agents can represent complex su...
Lars Braubach, Alexander Pokahr, Winfried Lamersdo...
GRID
2004
Springer
15 years 10 months ago
A Novel Architecture for Realizing Grid Workflow using Tuple Spaces
Grid workflow can be defined as the composition of grid application services which execute on heterogeneous and distributed resources in a well-defined order to accomplish a speci...
Jia Yu, Rajkumar Buyya