20126 search results - page 268 / 4026 » Timed Transition Systems |
182
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
109
click to vote
INFORMATICALT
2006
15 years 4 months ago
2006
This paper discusses the determination of the spare inventory level for a multiechelon repairable item inventory system, which has several bases and a central depot with emergency ...
153
click to vote
TPDS
2010
14 years 11 months ago
2010
Different distributed real-time systems (DRS) must handle aperiodic and periodic events under diverse sets of requirements. While existing middleware such as Real-Time CORBA has sh...
125
click to vote
VTC
2008
IEEE
15 years 11 months ago
2008
IEEE
: This paper explores the potential gain of joint diversity in both frequency domain and time domain which can be exploited to achieve spectral efficiency gains whilst simultaneous...
145
Voted
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...