Sciweavers

7526 search results - page 250 / 1506
» The Design and Implementation of the A2QM3 System
Sort
View
CIE
2007
Springer
15 years 10 months ago
Effective Computation for Nonlinear Systems
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
Pieter Collins
WSC
1997
15 years 8 months ago
Requirements for Transitioning Business Process Simulation Models to Real-Time Operational Systems
The value of modeling and simulating business processes has recently received increased attention with the interest in business process re-engineering (BPR). Many re-engineering p...
Peter Floss
AAI
2006
103views more  AAI 2006»
15 years 6 months ago
A generic time management service for distributed multi-agent systems
Multi-agent systems are well suited for building large software systems. A great deal of these complex systems includes process flows that are concerned with time or are even time...
Lars Braubach, Alexander Pokahr, Winfried Lamersdo...
CORR
1999
Springer
103views Education» more  CORR 1999»
15 years 6 months ago
A Control and Management Network for Wireless ATM Systems
This work provides the results of the on-going design and implementation of a control and management network (an orderwire) for a mobile wireless ATM system. There are novel uses ...
Stephen F. Bush, Sunil Jagannath, Joseph B. Evans,...
HYBRID
2010
Springer
15 years 4 months ago
Timed I/O automata: a complete specification theory for real-time systems
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik ...