10733 search results - page 531 / 2147 » Distributed XML design |
182
click to vote
STTT
2010
15 years 5 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
221
click to vote
GLOBECOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--The paper studies the problem of distributed transmit beamforming with autonomous and self-organizing mobile antennas. The objective is to design a distributed algorithm ...
213
click to vote
TWC
2010
15 years 1 months ago
2010
In this letter, we address the problem of distributed multi-antenna cooperative transmission in a cellular system. Most research in this area has so far assumed that base stations ...
279
click to vote
CCGRID
2011
IEEE
14 years 10 months ago
2011
IEEE
—Urban sensing where mobile users continuously gather, process, and share location-sensitive sensor data (e.g., street images, road condition, traffic flow) is emerging as a ne...
213
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
—The standard way to scale a distributed OLTP DBMS is to horizontally partition data across several nodes. Ideally, this results in each query/transaction being executed at just ...