506 search results - page 49 / 102 » Where Is the Value in a Program Verifier |
137
click to vote
INTERSENSE
2006
ACM
15 years 10 months ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...
136
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
156
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper proposes a method of learning a similarity matrix from pairwise constraints for interactive clustering. The similarity matrix can be learned by solving an optimizatio...
130
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
122
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...