3799 search results - page 569 / 760 » An Engineering Approach to Formal Methods |
161
Voted
COMPSAC
2006
IEEE
16 years 10 days ago
2006
IEEE
—Many electronic voting systems, classified mainly as homomorphic cryptography based, mix-net based and blind signature based, appear after the eighties when zero knowledge proof...
145
click to vote
SEFM
2006
IEEE
16 years 8 days ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
179
click to vote
MSR
2006
ACM
16 years 7 days ago
2006
ACM
Versioned and bug-tracked software systems provide a huge amount of historical data regarding source code changes and issues management. In this paper we deal with impact analysis...
154
click to vote
IUI
2005
ACM
15 years 12 months ago
2005
ACM
This paper describes SmartCanvas, an intelligent desk system that allows a user to perform freehand drawing on a desk or similar surface with gestures. Our system requires one cam...
164
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...