3199 search results - page 12 / 640 » Variability in Automation System Models |
DAC
1998
ACM
14 years 9 months ago
1998
ACM
The growing class of portable systems, such as personal computing and communication devices, has resulted in a new set of system design requirements, mainly characterized by domin...
LICS
1993
IEEE
14 years 28 days ago
1993
IEEE
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
ETFA
2008
IEEE
14 years 3 months ago
2008
IEEE
Industrial and building automation systems are more and more important in industry and buildings. New services and novel fields of application call for dependable systems. Two ver...
SIGDIAL
2011
12 years 11 months ago
2011
SEW
2006
IEEE
14 years 2 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...