Sciweavers

41938 search results - page 92 / 8388
» Complex Systems Modeling
Sort
View
BPM
2004
Springer
101views Business» more  BPM 2004»
15 years 10 months ago
Consistency in Model Integration
State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers is to ensure consistency between the many...
Kees M. van Hee, Natalia Sidorova, Lou J. Somers, ...
112
Voted
NSDI
2008
15 years 7 months ago
NetComplex: A Complexity Metric for Networked System Designs
The systems and networking community treasures "simple" system designs, but our evaluation of system simplicity often relies more on intuition and qualitative discussion...
Byung-Gon Chun, Sylvia Ratnasamy, Eddie Kohler
DSN
2007
IEEE
15 years 11 months ago
How to Choose a Timing Model?
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...
Idit Keidar, Alexander Shraer
ISORC
1998
IEEE
15 years 9 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
DAC
2005
ACM
16 years 5 months ago
Simulation based deadlock analysis for system level designs
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. S...