Sciweavers

1188 search results - page 79 / 238
» States of Knowledge
Sort
View
MSN
2005
Springer
202views Sensor Networks» more  MSN 2005»
15 years 9 months ago
Mobility-Pattern Based Localization Update Algorithms for Mobile Wireless Sensor Networks
In mobile wireless sensor networks, sensors move in the monitored area at any direction and at any speed. Unlike many other networking hosts, sensor nodes do not have global addres...
Mohammad Al-laho, Min Song, Jun Wang
VL
2003
IEEE
169views Visual Languages» more  VL 2003»
15 years 9 months ago
Additional context for gentle-slope systems
Interpreting general purpose programming constructs can be difficult because it requires context, such as knowledge of language syntax or idioms, which users may not have readily ...
Yasunori Harada, Richard Potter
DSN
2004
IEEE
15 years 7 months ago
Implementing Simple Replication Protocols using CORBA Portable Interceptors and Java Serialization
The goal of this paper is to assess the value of simple features that are widely available in off-the-shelf CORBA and Java platforms for the implementation of faulttolerance mecha...
Taha Bennani, Laurent Blain, Ludovic Courtè...
FAABS
2004
Springer
15 years 7 months ago
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
Jaime Ramírez, Angélica de Antonio
DEDS
2007
109views more  DEDS 2007»
15 years 4 months ago
Concurrent Secrets
— Given a finite state system with partial observers and for each observer, a regular set of trajectories which we call a secret, we consider the question whether the observers ...
Eric Badouel, Marek A. Bednarczyk, Andrzej M. Borz...