22864 search results - page 277 / 4573 » An Integrated and |
182
click to vote
SSD
2009
Springer
16 years 1 months ago
2009
Springer
Outsourcing data to third party data providers is becoming a common practice for data owners to avoid the cost of managing and maintaining databases. Meanwhile, due to the populari...
169
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
: The consolidation of multiple servers and their workloads aims to minimize the number of servers needed thereby enabling the efficient use of server and power resources. At the s...
178
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
—Wireless and mobile networks have experienced great success over the past few years. However, any single type of wireless and mobile network cannot provide all types of services...
198
Voted
PDP
2007
IEEE
16 years 29 days ago
2007
IEEE
Universal Plug and Play (UPnP) is a widely accepted standard for automatically detecting devices and services in a local area network as well as for describing and controlling the...
148
click to vote
CSL
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We present a method of integrating linear rational arithmetic into superposition calculus for first-order logic. One of our main results is completeness of the resulting...