3742 search results - page 214 / 749 » On the Use of Formal Techniques for Validation |
176
click to vote
IIWAS
2008
15 years 8 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
119
click to vote
CAS
1999
15 years 6 months ago
1999
In this paper, we formalize and prove the statement that coincidences cannot be accidental, a statement that underlies many useful heuristics in mathematics and physics. Our proof...
136
click to vote
FC
2008
Springer
15 years 8 months ago
2008
Springer
At Oakland 2005, Murdoch and Danezis described an attack on the Tor anonymity service that recovers the nodes in a Tor circuit, but not the client. We observe that in a peer-to-pee...
172
click to vote
CLEIEJ
2006
15 years 6 months ago
2006
: This paper presents an account of the experience observed when obtaining a set of requirements for the development of educational software for people with impaired vision. Numero...
202
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Registration of a preoperative CT (3D) image to one or more X-ray projection (2D) images, a special case of the pose estimation problem, has been attempted in a variety of ways wi...