2520 search results - page 71 / 504 » Model-checking behavioral programs |
UM
2005
Springer
15 years 7 months ago
2005
Springer
64
Voted
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
121
click to vote
NJC
2006
15 years 2 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
106
click to vote
ACSAC
2010
IEEE
15 years 9 days ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
128
click to vote
RTAS
2006
IEEE
15 years 8 months ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...