1655 search results - page 197 / 331 » State, Event, Time and Diagram in System Modeling |
156
click to vote
COOTS
1996
15 years 7 months ago
1996
This paper describes \Object Group", an object behavioral pattern for group communication and fault-tolerance in distributed systems. The Object Group pattern supports the im...
207
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
168
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
147
click to vote
AIPS
1994
15 years 7 months ago
1994
When a plan involves hundreds or thousands of events over time it can be di cult or impossible to tell whether those events are unfolding \according to plan" and to assess th...
202
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
Business Process Management (BPM) aims at supporting the whole life-cycle necessary to deploy and maintain business processes in organisations. An important step of the BPM life-cy...