575 search results - page 45 / 115 » constraints 2011 |
191
click to vote
MOBISYS
2011
ACM
14 years 2 months ago
2011
ACM
We present an indoor positioning system that measures location using disturbances of the Earth's magnetic field caused by structural steel elements in a building. The presenc...
190
click to vote
CADE
2011
Springer
13 years 12 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
109
click to vote
ICDE
2011
IEEE
14 years 3 months ago
2011
IEEE
—The danger of production or backup data becoming corrupted is a problem that database administrators dread. This position paper aims to bring this problem to the attention of th...
107
click to vote
ATAL
2011
Springer
13 years 12 months ago
2011
Springer
In multi-agent planning environments, action models for each agent must be given as input. However, creating such action models by hand is difficult and time-consuming, because i...
108
click to vote
AUTOMATICA
2011
14 years 6 months ago
2011
Iterative distributed algorithms are studied for computing arithmetic averages over networks of agents connected through memoryless broadcast erasure channels. These algorithms do...