Sciweavers

5480 search results - page 823 / 1096
» Communicating with Synchronized Environments
Sort
View
CIRA
2007
IEEE
152views Robotics» more  CIRA 2007»
16 years 1 months ago
Probabilistic Semantic Mapping with a Virtual Sensor for Building/Nature detection
Abstract— In human-robot communication it is often important to relate robot sensor readings to concepts used by humans. We believe that access to semantic maps will make it poss...
Martin Persson, Tom Duckett, Christoffer Valgren, ...
CSFW
2007
IEEE
16 years 1 months ago
LTL Model Checking for Security Protocols
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
Alessandro Armando, Roberto Carbone, Luca Compagna
FBIT
2007
IEEE
16 years 1 months ago
Adaptive Data Dissemination in Sensor Networks Using WPDD
In Wireless Sensor Networks (WSNs), address-based routing approaches often lead to severe problems due to node mobility, energy-saving sleep-cycles, and often missing or unreliabl...
Falko Dressler, Reinhard German, Bettina Krüg...
GLOBECOM
2007
IEEE
16 years 1 months ago
LOFT: A Latency-Oriented Fault Tolerant Transport Protocol for Wireless Sensor-Actuator Networks
— Wireless sensor-actuator networks, or WSANs, refer to a group of sensors and actuators which collect data from the environment and perform application-specific actions in resp...
Edith C. H. Ngai, Yangfan Zhou, Michael R. Lyu, Ji...
GLOBECOM
2007
IEEE
16 years 1 months ago
Service Oriented Architecture (SOA) for Integration of Field Bus Systems
—The current trends in service consolidation over Internet Protocol (IP) also stimulates the integration of the industrial automation system with the information technology (IT) ...
Xiaohua Tian, Yu Cheng, Rose Qingyang Hu, Yi Qian