2661 search results - page 214 / 533 » Model Checking Performability Properties |
119
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
140
click to vote
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
112
click to vote
SP
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
123
click to vote
STTT
2008
15 years 3 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
140
Voted
PVLDB
2008
15 years 2 months ago
2008
The number of successful attacks on the Internet shows that it is very difficult to guarantee the security of online search engines. A breached server that is not detected in time...