Sciweavers

8587 search results - page 191 / 1718
» Interactive dynamic abstraction
Sort
View
QEST
2008
IEEE
15 years 11 months ago
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
Husain Aljazzar, Stefan Leue
ICADL
2007
Springer
81views Education» more  ICADL 2007»
15 years 11 months ago
Preserving Interactive Multimedia Art: A Case Study in Preservation Planning
Abstract. Over the last years, digital preservation has become a particularly active research area. While several initiatives are dealing with the preservation of standard document...
Christoph Becker, Günther Kolar, Josef Kü...
AGENTCL
2000
Springer
15 years 9 months ago
Investigating Interactions between Agent Conversations and Agent Control Components
Abstract. Exploring agent conversation in the context of fine-grained agent coordination research has raised several intellectual questions. The major issues pertain to interactio...
Thomas Wagner, Brett Benyo, Victor R. Lesser, Ping...
162
Voted
ARTQOS
2003
Springer
15 years 8 months ago
Differentiation and Interaction of Traffic: A Flow Level Study
We study what kind of differentiation can be achieved using DiffServ without admission control and using a relative services approach, i.e. the rate of the flow should be in propor...
Eeva Nyberg, Samuli Aalto
ASM
2008
ASM
15 years 7 months ago
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
Egon Börger, Bernhard Thalheim