2407 search results - page 376 / 482 » A Tool for Abstraction in Model Checking |
132
click to vote
WCE
2007
15 years 7 months ago
2007
Abstract—The major infrastructure component required to develop an underground mine is a decline, which is a system of tunnels used for access and haulage. In this paper we study...
137
click to vote
BSL
2004
15 years 6 months ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
164
click to vote
ACNS
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Two-party Secure Function Evaluation (SFE) is a very useful cryptographic tool which allows two parties to evaluate a function known to both parties on their private (sec...
155
Voted
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
150
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...