1796 search results - page 77 / 360 » An Approach to Compositional Model Checking |
104
Voted
VLDB
2005
ACM
15 years 6 months ago
2005
ACM
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...
93
Voted
SPIN
1999
Springer
15 years 4 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
105
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
114
click to vote
CAIP
2003
Springer
15 years 5 months ago
2003
Springer
Video surveillance systems seek to automatically identify events of interest in a variety of situations. Extracting a moving object from background is the most important step of t...
IWSSD
2000
IEEE
15 years 5 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...