6167 search results - page 251 / 1234 » Can Refinement be Automated |
184
click to vote
ASWEC
2004
IEEE
15 years 9 months ago
2004
IEEE
In this paper, both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semant...
149
click to vote
DALT
2006
Springer
15 years 9 months ago
2006
Springer
This paper discusses the problem of efficient propagation of uncertain information in dynamic environments and critical situations. When a number of (distributed) agents have only ...
170
click to vote
GD
2006
Springer
15 years 9 months ago
2006
Springer
We present a novel sampling-based approximation technique for classical multidimensional scaling that yields an extremely fast layout algorithm suitable even for very large graphs....
172
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
157
click to vote
MEDIAFORENSICS
2010
15 years 7 months ago
2010
We describe how to exploit the formation and storage of an embedded image thumbnail for image authentication. The creation of a thumbnail is modeled with a series of filtering ope...