264 search results - page 25 / 53 » Time Constraint Patterns for Event B Development |
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In recent years, LED technology emerged as a prime candidate for the future illumination light source, due to high energy efficiency and long life time. In addition, LEDs offe...
WSC
2008
13 years 9 months ago
2008
Multinational logistics cooperation is essential for reducing the collective logistics footprint, optimizing resource usage and enhancing interoperability in military operations. ...
Publication
Traffic measurements on a ring local area computer network at the Massachusetts Institute of Technology are presented. The analysis of the arrival pattern shows that the arrival pr...
DAC
2006
ACM
13 years 11 months ago
2006
ACM
Conventionally, signal net routing is almost always implemented as Steiner trees. However, non-tree topology is often superior on timing performance as well as tolerance to open f...
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...