1856 search results - page 180 / 372 » Formal Dialectic Specification |
147
click to vote
FM
1997
Springer
15 years 8 months ago
1997
Springer
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
202
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
- Functional verification of the new generation microprocessor developed by SGS-THOMSON Microelectronics makes extensive use of advanced technologies. This paper presents a global ...
128
click to vote
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
144
Voted
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Safe is a first-order functional language with unusual memory management features: memory can be both explicitly and implicitly deallocated at some specific points in the...
111
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...