1655 search results - page 59 / 331 » State, Event, Time and Diagram in System Modeling |
APN
2008
Springer
13 years 9 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
APPINF
2003
13 years 9 months ago
2003
An approach for specifying the management of a distributed system is herein described. Based on this formal approach, a management can be generated. The base of the specification ...
MODELS
2009
Springer
14 years 7 days ago
2009
Springer
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
ISTA
2003
13 years 9 months ago
2003
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
PADS
1999
ACM
13 years 12 months ago
1999
ACM
This paper introduces a novel algorithm, the Active Virtual Network Management Protocol AVNMP , for predictive network management. It explains how the Active Virtual Network Mana...