Sciweavers

1234 search results - page 194 / 247
» Organizational Abstractions for Adaptive Systems
Sort
View
ICCBR
2005
Springer
14 years 3 months ago
CCBR-Driven Business Process Evolution
Abstract. Process-aware information systems (PAIS) allow coordinating the execution of business processes by providing the right tasks to the right people at the right time. In ord...
Barbara Weber, Stefanie Rinderle, Werner Wild, Man...
GCC
2006
Springer
14 years 1 months ago
General Running Service: An Execution Framework for Executing Legacy Program on Grid
Legacy program execution system, which is necessary for Grid to enable users to reuse all legacy programs without reengineering source codes, is still an open problem. We propose ...
Likun Liu, Yongwei Wu, Guangwen Yang, Ruyue Ma, Fe...
GCSE
2000
Springer
14 years 1 months ago
Generic Components: A Symbiosis of Paradigms
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of software...
Martin Becker
ARGMAS
2008
Springer
13 years 11 months ago
Annotation and Matching of First-Class Agent Interaction Protocols
Many practitioners view agent interaction protocols as rigid specifications that are defined a priori, and hard-code their agents with a set of protocols known at design time -- a...
Tim Miller, Peter McBurney
MMB
2010
Springer
185views Communications» more  MMB 2010»
13 years 11 months ago
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
Ralf Wimmer, Bernd Becker