12981 search results - page 373 / 2597 » Model Checking (Abstract) |
121
click to vote
ESORICS
2004
Springer
15 years 9 months ago
2004
Springer
d Abstract) James Aspnes , Joan Feigenbaum , Aleksandr Yampolskiy † , and Sheng Zhong ‡ Department of Computer Science, Yale University, New Haven CT 06520-8285, USA Abstract. ...
130
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts Menno Lindwer ¢¡ , Diana Marculescu £¥¤ , Twan Basten ¦§¡ , Rainer Zimmermann ¨ , Ra...
123
click to vote
ENTCS
2008
15 years 4 months ago
2008
Progress, Extended Abstract) Philippe Jorrand1 Simon Perdrix2 Leibniz Laboratory IMAG-INPG Grenoble, France The aim of this paper is to introduce a general model of quantum comput...
146
click to vote
ENTCS
1998
15 years 4 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
177
click to vote
CG
2011
Springer
14 years 11 months ago
2011
Springer
TON: Curve Network Abstraction for 3D Shapes Fernando de Goesa,∗ , Siome Goldensteinb , Mathieu Desbruna , Luiz Velhoc aCalifornia Institute of Technology, Pasadena, CA 91125, US...