2836 search results - page 453 / 568 » Model Checking for Software Architectures |
155
click to vote
FSEN
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
175
click to vote
PLDI
2005
ACM
15 years 12 months ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
273
click to vote
AOSD
2010
ACM
16 years 1 months ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...
189
click to vote
PEWASUN
2007
ACM
15 years 7 months ago
2007
ACM
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...
301
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
In many distributed environments, the primary function of monitoring software is to detect anomalies, that is, instances when system behavior deviates substantially from the norm....