1111 search results - page 90 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
116
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
143
click to vote
JAIR
2007
15 years 3 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
106
click to vote
CACM
2007
15 years 3 months ago
2007
ACTION THE KEY TO COMPUTING? Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it poss...
139
Voted
ACSC
2007
IEEE
15 years 7 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
135
click to vote
ASWEC
2001
IEEE
15 years 7 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...