10907 search results - page 1925 / 2182 » Constraint Based Strategies |
168
click to vote
ENTCS
2007
15 years 6 months ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...
185
click to vote
JSAC
2006
15 years 6 months ago
2006
In this paper we address the problem of robustly estimating the position of randomly deployed nodes of a Wireless Sensor Network (WSN), in the presence of security threats. We prop...
166
click to vote
MMS
2008
15 years 6 months ago
2008
Abstract Multimedia applications operating in today's Internet have to employ some form of error resilience to cope with losses. For interactive applications with strict delay...
178
click to vote
JUCS
2006
15 years 6 months ago
2006
: Telemedicine applications on a medical practitioner's mobile device should be context-aware. This can vastly improve the effectiveness of mobile applications and is a step t...
179
click to vote
JUCS
2006
15 years 6 months ago
2006
: The growth of sensor networks during the last years is a fact and within this field, wireless sensor networks are growing particularly as there are many applications that demand ...