1268 search results - page 200 / 254 » Verifying distributed systems: the operational approach |
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
Focused around the field of the exploitation and the administration of high performance large-scale parallel systems , this article describes the work carried out on the deployme...
SUTC
2006
IEEE
14 years 4 months ago
2006
IEEE
Security in wireless ad hoc networks is hard to achieve due to the vulnerability of its links, limited physical protection, and the absence of a centralized management point. Cons...
INFOCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— We consider a multi-class queueing system operating under the Discriminatory Processor-Sharing (DPS) discipline. The DPS discipline provides a natural approach for mode...
ICDCS
2010
IEEE
13 years 12 months ago
2010
IEEE
Abstract—RFID promises to revolutionize the inventory management in large warehouses, retail stores, hospitals, transportation systems, etc. Periodically reading the IDs of the t...
ICDCS
2012
IEEE
12 years 10 days ago
2012
IEEE
Abstract—Modern day enterprises have a large IT infrastructure comprising thousands of applications running on servers housed in tens of data centers geographically spread out. T...