1219 search results - page 143 / 244 » Verification of Equivalent-Results Methods |
134
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
nd Counterexample-Based Abstraction Niklas Een, Alan Mishchenko EECS Department, University of California Berkeley, USA. Nina Amla Cadence Research Laboratroy Berkeley, USA. This p...
89
Voted
ENTCS
2008
15 years 3 months ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...
142
Voted
IJCV
2000
15 years 3 months ago
2000
This paper describes a simple method of fast background subtraction based upon disparity verification that is invariant to arbitrarily rapid run-time changes in illumination. Using...
151
Voted
CCS
2010
ACM
15 years 1 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
145
click to vote
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...