2687 search results - page 270 / 538 » Formal Analysis of PKCS |
186
click to vote
3DIM
2005
IEEE
15 years 9 months ago
2005
IEEE
We give a formal definition of geometric fitting in a way that suits computer vision applications. We point out that the performance of geometric fitting should be evaluated in...
201
click to vote
BPM
2007
Springer
15 years 9 months ago
2007
Springer
Recently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered ...
213
click to vote
ER
2008
Springer
15 years 9 months ago
2008
Springer
The quality management of software models is an important issue. As a preparative task, the quality circle requires quality planning. After that a software model can repeat the seq...
192
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
172
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...