3082 search results - page 62 / 617 » Deviation Analysis: A New Use of Model Checking |
130
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
156
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
153
click to vote
VISUALIZATION
1997
IEEE
15 years 9 months ago
1997
IEEE
: We present the use of mapping functions to automatically generate levels of detail with known error bounds for polygonal models. We develop a piece-wise linear mapping function f...
143
click to vote
CEC
2008
IEEE
15 years 12 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
128
click to vote
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper discusses the use of character images to determine the parameters of an image degradation model. The acute angles in character images provide information used to find ...