76 search results - page 13 / 16 » The art of the meta-aspect protocol |
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
The amount of electronic systems introduced in vehicles is continuously increasing: X-by-wire, complex electronic control systems and above all future applications such as automot...
EDBTW
2010
Springer
14 years 1 months ago
2010
Springer
In modern architectures based on Web Services or Cloud Computing, a very large number of user requests arrive concurrently and has to be scheduled for execution constrained by cor...
EUROSYS
2009
ACM
14 years 5 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
DMSN
2006
ACM
14 years 2 months ago
2006
ACM
Modern data centers have a large number of components that must be monitored, including servers, switches/routers, and environmental control systems. This paper describes InteMon,...
ERLANG
2006
ACM
14 years 2 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...