5599 search results - page 219 / 1120 » Abstract State Services |
112
click to vote
MEMOCODE
2005
IEEE
15 years 10 months ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
133
click to vote
INFOCOM
2000
IEEE
15 years 8 months ago
2000
IEEE
– We examine in this paper the tradeoff between application complexity, network complexity, and network efficiency. We argue that the design of the current Internet reflects a ...
137
click to vote
MOBIQUITOUS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Large-scale ubiquitous computing environments require scalable and robust service discovery to enable “anytime, anywhere” computing, which is hard to be satisfied ...
126
click to vote
GCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we constructed the Distributed Object Group Framework(DOGF) which is a reconfigurable architecture supporting dynamically adaptation of distributed service...
162
click to vote
PATAT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Service network design is critical to the profitability of express shipment carriers. In this paper, we consider the problem of designing the integrated service network ...