4356 search results - page 841 / 872 » Communicating Transactions - (Extended Abstract) |
188
click to vote
SAT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
192
click to vote
SSD
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Modern mobile phones and PDAs are equipped with positioning capabilities (e.g., GPS). Users can access public location-based services (e.g., Google Maps) and ask spatial ...
173
click to vote
TGC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...
167
click to vote
GLOBECOM
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— Virtual Output Queuing is widely used by highspeed packet switches to overcome head-of-line blocking. This is done by means of matching algorithms. In fixed-length VOQ...
178
click to vote
ICNP
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract—We propose a solution to improve fairness and increase throughput in wireless networks with location information. Our approach consists of a multipath routing protocol, ...