4454 search results - page 810 / 891 » Designing components for e-services |
143
click to vote
ISCA
2010
IEEE
15 years 11 months ago
2010
IEEE
As technology scales ever further, device unreliability is creating excessive complexity for hardware to maintain the illusion of perfect operation. In this paper, we consider whe...
174
click to vote
BIRTHDAY
2010
Springer
15 years 11 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
172
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we present ROAD, a general framework to evaluate Location-Dependent Spatial Queries (LDSQ)s that searches for spatial objects on road networks. By exploiting search...
183
click to vote
ICS
2009
Tsinghua U.
15 years 11 months ago
2009
Tsinghua U.
ABSTRACT Because of technology advances power consumption has emerged up as an important design issue in modern high-performance microprocessors. As a consequence, research on redu...
198
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
Matchmaking is the process of mediating demand and supply based on profile information. Matchmaking plays a crucial role in agent-based electronic marketplaces: the problem to be ...