Sciweavers

524 search results - page 30 / 105
» Modeling of Self-Organizing Systems: An Overview
Sort
View
VOSS
2004
Springer
125views Mathematics» more  VOSS 2004»
15 years 5 months ago
Probabilistic Automata: System Types, Parallel Composition and Comparison
We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. The aim of this paper...
Ana Sokolova, Erik P. de Vink
IADT
1998
146views more  IADT 1998»
15 years 1 months ago
An Open Architecture for Adaptive Workflow Management Systems
One of the main tasks of workflow management systems is the coordination of activities in business processes. This paper introduces a solution framework to support adaptive workfl...
Reiner Siebert
UML
2004
Springer
15 years 5 months ago
SVERTS - Specification and Validation of Real-Time and Embedded Systems
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...
Susanne Graf, Øystein Haugen, Ileana Ober, ...
CEEMAS
2003
Springer
15 years 5 months ago
A Multi-agent System for Dynamic Network Reconfiguration
This paper presents a system for dynamic network reconfiguration based on intelligent agents and market–oriented methods. Reconfiguration encompasses routing changes as well as b...
Artur Maj, Jaroslaw Jurowicz, Jaroslaw Kozlak, Krz...
ISCAS
2005
IEEE
166views Hardware» more  ISCAS 2005»
15 years 5 months ago
Extending SystemC to support mixed discrete-continuous system modeling and simulation
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
Alain Vachoux, Christoph Grimm, Karsten Einwich