Sciweavers

8086 search results - page 1303 / 1618
» On the Implementation of Dynamic Patterns
Sort
View
NETCOOP
2007
Springer
16 years 8 days ago
A Network Formation Game Approach to Study BitTorrent Tit-for-Tat
The Tit-for-Tat strategy implemented in BitTorrent (BT) clients is generally considered robust to selfish behaviours. The authors of [1] support this belief studying how Tit-for-T...
Giovanni Neglia, Giuseppe Lo Presti, Honggang Zhan...
OTM
2007
Springer
16 years 8 days ago
A Bluetooth-Based JXME Infrastructure
Abstract. Over the last years, research efforts have led the way to embed computation into the environment. Much attention is drawn to technologies supporting dynamicity and mobil...
Carlo Blundo, Emiliano De Cristofaro
199
Voted
OTM
2007
Springer
16 years 8 days ago
Network Coding Protocols for Secret Key Distribution
Abstract. Recent contributions have uncovered the potential of network coding, i.e. algebraic mixing of multiple information flows in a network, to provide enhanced security in pa...
Paulo F. Oliveira, João Barros
155
Voted
PVM
2007
Springer
16 years 8 days ago
Practical Model-Checking Method for Verifying Correctness of MPI Programs
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
Salman Pervez, Ganesh Gopalakrishnan, Robert M. Ki...
ROBOCUP
2007
Springer
180views Robotics» more  ROBOCUP 2007»
16 years 8 days ago
Improving Robot Self-localization Using Landmarks' Poses Tracking and Odometry Error Estimation
In this article the classical self-localization approach is improved by estimating, independently from the robot’s pose, the robot’s odometric error and the landmarks’ poses....
Pablo Guerrero, Javier Ruiz-del-Solar
« Prev « First page 1303 / 1618 Last » Next »