Sciweavers

2672 search results - page 109 / 535
» Testing Self-Similar Networks
Sort
View
FM
2008
Springer
77views Formal Methods» more  FM 2008»
15 years 5 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
ICAI
2004
15 years 5 months ago
Evaluation of an Agent-Mediated Social Network
The goal of this work is to design and implement an agent-based system that facilitates interaction among a group of individuals who are part of an organization, observe types and...
Taneem Ibrahim, Aaron Arthurs, Henry Hexmoor
LCN
2007
IEEE
15 years 10 months ago
Emergency Evacuation using Wireless Sensor Networks
—This paper presents a distributed algorithm to direct evacuees to exits through arbitrarily complex building layouts in emergency situations. The algorithm finds the safest pat...
Matthew Barnes, Hugh Leather, D. K. Arvind
EPEW
2007
Springer
15 years 10 months ago
A Fixed-Point Algorithm for Closed Queueing Networks
In this paper we propose a new efficient iterative scheme for solving closed queueing networks with phase-type service time distributions. The method is especially efficient and ac...
Ramin Sadre, Boudewijn R. Haverkort, Patrick Reine...
ROBOCUP
2005
Springer
112views Robotics» more  ROBOCUP 2005»
15 years 9 months ago
Velocity Control of an Omnidirectional RoboCup Player with Recurrent Neural Networks
In this paper, a recurrent neural network is used to develop a dynamic controller for mobile robots. The advantage of the control approach is that no knowledge about the robot mode...
Mohamed Oubbati, Michael Schanz, Thorsten Buchheim...