5550 search results - page 639 / 1110 » Different Approaches to Proof Systems |
209
click to vote
IJCIS
2006
15 years 7 months ago
2006
of modern businesses, separation of concern mechanisms and abstractions are needed. iven development (MDD) approaches utilize abstraction and transformation to handle ty. In MDD, s...
154
click to vote
PUC
2006
15 years 7 months ago
2006
Abstract. We envision future office buildings that partly or fully implement a flexible office organization where office rooms are dynamically assigned to currently present employe...
199
click to vote
CG
2008
Springer
15 years 6 months ago
2008
Springer
We report on a multiresolution rendering system driving light field displays based on a specially arranged array of projectors and a holographic screen. The system gives multiple ...
190
click to vote
P2P
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this paper, we propose a probabilistic algorithm for detecting near duplicate text, audio, and video resources efficiently and effectively in large-scale P2P systems. To thi...
156
click to vote
SIGOPS
2010
15 years 5 months ago
2010
A computer system often has multiple power management modules controlling different power knobs. Uncoordinated operation of these knobs not only leads to suboptimal operation but ...