309 search results - page 56 / 62 » Modeling Railway Control Systems Using Graph Grammars: A Cas... |
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
LCN
2003
IEEE
14 years 29 days ago
2003
IEEE
Assured Service has been proposed within the Differentiated Services (DiffServ) model to provide relative service differentiation by attempting to allocate bandwidth to different ...
INFOVIS
2002
IEEE
14 years 18 days ago
2002
IEEE
Visualization is a powerful way to facilitate data analysis, but it is crucial that visualization systems explicitly convey the presence, nature, and degree of uncertainty to user...
RTSS
2008
IEEE
14 years 2 months 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 ...
SIGMETRICS
2012
ACM
11 years 10 months ago
2012
ACM
Energy efficiency and power capping remain growing concerns in server systems. Online applications continue to evolve with new features and dynamic clientdirected processing, res...