264 search results - page 37 / 53 » Time Constraint Patterns for Event B Development |
INFOCOM
2003
IEEE
14 years 23 days ago
2003
IEEE
— This paper considers three-stage switching networks able to support multicast traffic, i.e. connections in which one inlet is connected to more than one output at the same tim...
RULES
1993
Springer
13 years 11 months ago
1993
Springer
There have been many recent research efforts on temporal databases for managing current and historical data and on active databases for monitoring real-world events as well as dat...
RTSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Caches have become invaluable for higher-end architectures to hide, in part, the increasing gap between processor speed and memory access times. While the effect of caches on timi...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
With the advent of multi-processor systems-on-chip, the interest in process migration is again on the rise both in research and in product development. New challenges associated w...
ACMACE
2005
ACM
14 years 1 months ago
2005
ACM
The Historic Oakland Cemetery in downtown Atlanta provides a unique setting for exploring the challenges of location-based mixed-reality experience design. Our objective is to ent...