3172 search results - page 513 / 635 » New developments of the Z-EDM algorithm |
125
Voted
EUC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Advances in wireless and mobile communication technologies have enabled the development of various RFID-based systems and applications in addition to the extension of the...
139
click to vote
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
128
Voted
FOSAD
2000
Springer
15 years 7 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
119
Voted
APSEC
1995
IEEE
15 years 7 months ago
1995
IEEE
Guaranteeiq reproducibility and minimizing probe effects are major issues in the parallel program debugging. This paper suggests a new debugging method, named Detect and Reproduce...
125
click to vote
CHI
1995
ACM
15 years 7 months ago
1995
ACM
Many interfaces allow users to manipulate graphical objects, icons representing underlying data or the data themselves, against a spatial backdrop or canvas. Users take advantage ...