1655 search results - page 99 / 331 » State, Event, Time and Diagram in System Modeling |
211
click to vote
ICSOC
2009
Springer
15 years 3 months ago
2009
Springer
Business processes must become agile, respond to changes in the business environment in a timely manner and quickly adapt themselves to new conditions. Event-Driven Business Proces...
145
click to vote
RTS
2008
15 years 5 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
170
click to vote
QEST
2008
IEEE
16 years 17 days ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
178
click to vote
ICCS
2007
Springer
16 years 10 days ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
171
click to vote
INFOCOM
1999
IEEE
15 years 10 months ago
1999
IEEE
Recently, networks have increased rapidly both in scale and speed. Problems related to the control and management are of increasing interest. The average throughput and end-to-end ...