298 search results - page 35 / 60 » Applying Theory Revision to the Design of Distributed Databa... |
IUI
2003
ACM
14 years 24 days ago
2003
ACM
The user expectations for usability and personalization along with decreasing size of handheld devices challenge traditional keypad layout design. We have developed a method for o...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
In multi-agent systems where sets of joint actions (JAs) are generated, metrics are needed to evaluate these sets and efficiently allocate resources for the many JAs. For the case...
SPAA
2005
ACM
14 years 1 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
CCR
2004
13 years 7 months ago
2004
This paper proposes a real options framework for evaluating architectural choices and the economic value of these alternative choices of networks, protocols, and services. Using p...
PODC
2003
ACM
14 years 24 days ago
2003
ACM
This paper presents compact roundtrip routing schemes with local tables of size ˜O( √ n) and stretch 6 for any directed network with arbitrary edge weights; and with local tabl...