Sciweavers

1626 search results - page 6 / 326
» Computing the Types of the Relationships between Autonomous ...
Sort
View
PERCOM
2005
ACM
14 years 7 months ago
Autonomous Localization Method in Wireless Sensor Networks
In wireless sensor networks, localization systems use data from sensors which receive signals from moving targets, measure RSSI, and translate RSSI into the distance between senso...
Yoshikazu Ohta, Masashi Sugano, Masayuki Murata
SIGCOMM
2006
ACM
14 years 1 months ago
Building an AS-topology model that captures route diversity
An understanding of the topological structure of the Internet is needed for quite a number of networking tasks, e.g., making decisions about peering relationships, choice of upstr...
Wolfgang Mühlbauer, Anja Feldmann, Olaf Maenn...
TCC
2005
Springer
118views Cryptology» more  TCC 2005»
14 years 28 days ago
On the Relationships Between Notions of Simulation-Based Security
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
Anupam Datta, Ralf Küsters, John C. Mitchell,...
ATAL
2009
Springer
14 years 2 months ago
A virtual laboratory for studying long-term relationships between humans and virtual agents
Longitudinal studies of human-virtual agent interaction are expensive and time consuming to conduct. We present a new concept and tool for conducting such studies—the virtual la...
Timothy W. Bickmore, Daniel Schulman
COORDINATION
2006
Springer
13 years 11 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...