1268 search results - page 122 / 254 » Verifying distributed systems: the operational approach |
ISPA
2005
Springer
15 years 3 months ago
2005
Springer
The way conventional Ethernet is used today differs in two aspects from how dedicated system area networks are used. Firstly, dedicated system area networks are lossless and only d...
ICC
2007
IEEE
15 years 1 months ago
2007
IEEE
With the advance of semiconductor manufacturing, There are many approaches to deal with these problems. EDA, and VLSI design technologies, circuits with even higher Adding discrete...
162
click to vote
SIGMOD
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents HomeViews, a peer-to-peer middleware system for building personal data management applications. HomeViews provides abstractions and services for data organizat...
ITIIS
2008
14 years 10 months ago
2008
WiMAX has been introduced as a competitive alternative for metropolitan broadband wireless access technologies. It is connection oriented and it can provide very high data rates, ...
ECIS
2003
14 years 11 months ago
2003
Multiple combinations of hardware and network components can be selected to design an information technology (IT) infrastructure that satisfies performance requirements. The profe...