5544 search results - page 857 / 1109 » Three Inadequate Models |
178
click to vote
SC
2003
ACM
15 years 11 months ago
2003
ACM
Computational grids hold great promise in utilizing geographically separated heterogeneous resources to solve large-scale complex scientific problems. However, a number of major ...
195
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
: We present occlusion-switches for interactive visibility culling in complex 3D environments. An occlusionswitch consists of two GPUs (graphics processing units) and each GPU is u...
146
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Effective human teams often benefit from proactivity through members’ capability of anticipating different needs of teammates. In this paper, we focus on three issues related...
169
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
202
click to vote
BTW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract: This paper introduces the Internet Operating Platform (IOP), an enterprise framework for large scale software development. In addition to obeying to important standards (...