1833 search results - page 92 / 367 » Mechanized Verification with Sharing |
111
click to vote
ROBOCOMM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract—Robust, dependable and concise coordination between members of a robot team is a critical ingredient of any such collective activity. Depending on the availability and t...
CCGRID
2006
IEEE
15 years 6 months ago
2006
IEEE
Resource sharing across different computers and organizations makes it possible to support diverse, dynamic changing resource requirements of distributed applications. Reservation...
100
Voted
IAT
2005
IEEE
15 years 6 months ago
2005
IEEE
Similarity measures are mechanisms that assign a numeric score indicating how closely two documents, or a document and a query match. The Cosine measure is one of the similarity m...
81
Voted
INFOCOM
2005
IEEE
15 years 6 months ago
2005
IEEE
— One of the challenges facing the networking industry today is to increase the profitability of Internet services. This calls for economic mechanisms that can enable providers ...
95
Voted
INFOCOM
2005
IEEE
15 years 6 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...