481 search results - page 66 / 97 » Model Checking Abstract State Machines and Beyond |
115
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
121
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approach...
108
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
131
click to vote
CASSIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
113
click to vote
TSE
2011
14 years 9 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...