12774 search results - page 2509 / 2555 » A Framework for Proof Systems |
ISCA
2000
IEEE
14 years 1 months ago
2000
IEEE
Smaller feature sizes, reduced voltage levels, higher transistor counts, and reduced noise margins make future generations of microprocessors increasingly prone to transient hardw...
PG
2000
IEEE
14 years 1 months ago
2000
IEEE
PDE surfaces, whose behavior is governed by Partial Differential Equations (PDEs), have demonstrated many modeling advantages in surface blending, free-form surface modeling, and ...
SAC
2000
ACM
14 years 1 months ago
2000
ACM
The global scenario put together by communication networks determines new opportunities towards the realization of Internetbased distributed services in many complex and composite...
SIGMOD
1999
ACM
14 years 1 months ago
1999
ACM
The design of webbases, database systems for supporting Webbased applications, is currently an active area of research. In this paper, we propose a 3-layer architecture for design...
ICMCS
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper presents a distributed broadband multimedia information service that is realised within the project EPRICOM that is supported by the European Union within the ACTS prog...