923 search results - page 178 / 185 » Proving the value of formal methods |
165
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
101
click to vote
IPSN
2005
Springer
15 years 7 months ago
2005
Springer
We address the problem of selecting sensors so as to minimize the error in estimating the position of a target. We consider a generic sensor model where the measurements can be in...
120
click to vote
MMMACNS
2005
Springer
15 years 7 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
105
click to vote
PLDI
2010
ACM
15 years 7 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...
117
click to vote
SIGLEX
1991
15 years 5 months ago
1991
Explaining how the meaning of words relate to the meaning of the utterance in which they are used is of utmost importance. The most common approaches view the meaning of an uttera...