65 search results - page 1 / 13 » Foundations of Modular SOS |
MFCS
1999
Springer
13 years 10 months ago
1999
Springer
CONCUR
2005
Springer
13 years 11 months ago
2005
Springer
d Abstract) MohammadReza Mousavi1 , Murdoch J. Gabbay2 , and Michel A. Reniers1 1 Department of Computer Science, 2 Department of Computer Science, Eindhoven University of Technolo...
ENTCS
2007
13 years 5 months ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
LICS
2012
IEEE
11 years 8 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
SP
1999
IEEE
13 years 10 months ago
1999
IEEE
Psychological acceptability has been mentioned as a requirement for secure systems for as long as least privilege and fail safe defaults, but until now has been all but ignored in...