1492 search results - page 202 / 299 » Automatic Software Model Checking Using CLP |
100
click to vote
PLDI
2012
ACM
13 years 8 days ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
TAMODIA
2008
14 years 11 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
ISW
2001
Springer
15 years 2 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
EUROMICRO
2009
IEEE
15 years 1 months ago
2009
IEEE
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and scientific applications tha...