2223 search results - page 7 / 445 » Events in Property Patterns |
183
click to vote
RTSS
2008
IEEE
16 years 6 days ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
151
click to vote
HICSS
2009
IEEE
16 years 20 days ago
2009
IEEE
Deeply embedded infrastructures are pervasive systems that have significant cyber and physical components, interacting with each other in complex ways. These interactions can vio...
154
click to vote
STTT
2010
15 years 17 days ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
162
click to vote
ISOLA
2007
Springer
15 years 12 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
166
click to vote
MEMOCODE
2008
IEEE
16 years 7 days ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...