1105 search results - page 22 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
UML
2005
Springer
15 years 5 months ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
104
click to vote
MOMPES
2006
IEEE
15 years 5 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
RTSS
1993
IEEE
15 years 3 months ago
1993
IEEE
110
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
WSC
1997
15 years 1 months ago
1997
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...