3335 search results - page 451 / 667 » Grid result checking |
165
click to vote
ENTCS
2007
15 years 6 months ago
2007
We use the interactive theorem prover Isabelle to prove that the algebraic axiomatization of bisimulation equivalence in the pi-calculus is sound and complete. This is the first ...
158
click to vote
IPM
2007
15 years 5 months ago
2007
The work described here initially formed part of a triangulation exercise to establish the effectiveness of the Query Term Order algorithm. The methodology produced subsequently p...
203
click to vote
TII
2008
15 years 5 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
140
click to vote
RC
1998
15 years 5 months ago
1998
In computer and electronic manufacturing, it is very important to be able to automatically check whether the surface mounted devices (SMD) are correctly placed on the printed circ...
162
click to vote
PVLDB
2010
15 years 4 months ago
2010
Independence analysis is the problem of determining whether an update affects the result of a query, e.g. a constraint or materialized view. We develop a new, modular framework fo...