Sciweavers

14699 search results - page 2546 / 2940
» Complexity and Cognitive Computing
Sort
View
JSAC
2006
183views more  JSAC 2006»
15 years 7 months ago
HiRLoc: high-resolution robust localization for wireless sensor networks
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...
Loukas Lazos, Radha Poovendran
JUCS
2006
138views more  JUCS 2006»
15 years 7 months ago
The Impact of Behavioral Monitoring Technology on the Provision of Health Care in the Home
: The lack of appropriate and accurate information on the ability of a frail individual to accomplish specific task oriented activities can place the individual at risk or result i...
Anthony P. Glascock, David M. Kutzik
EOR
2007
68views more  EOR 2007»
15 years 7 months ago
Multiattribute electronic procurement using goal programming
One of the key challenges of current day electronic procurement systems is to enable procurement decisions transcend beyond a single attribute such as cost. Consequently, multiatt...
S. Kameshwaran, Y. Narahari, Charles H. Rosa, Deva...
KI
2006
Springer
15 years 7 months ago
GeTS - A Specification Language for Geo-Temporal Notions
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
Hans Jürgen Ohlbach
LOGCOM
2006
90views more  LOGCOM 2006»
15 years 7 months ago
ATL Satisfiability is Indeed EXPTIME-complete
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
Dirk Walther, Carsten Lutz, Frank Wolter, Michael ...
« Prev « First page 2546 / 2940 Last » Next »