Sciweavers

2401 search results - page 32 / 481
» Designing to support communication on the move
Sort
View
TELSYS
2002
126views more  TELSYS 2002»
15 years 1 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
SASO
2007
IEEE
15 years 8 months ago
A Space- and Time-Continuous Model of Self-Organizing Robot Swarms for Design Support
— Designing and implementing artificial self-organizing systems is a challenging task since they typically behave nonintuitive and no theoretical foundations exist. Predicting a...
Heiko Hamann, Heinz Wörn
COMPSAC
2002
IEEE
15 years 7 months ago
MOTION: A Peer-to-Peer Platform for Mobile Teamwork Support
Large, global enterprises are increasingly faced with the problem of supporting employees that are on the move. Employees need to share business documents, locate expertise and kn...
Engin Kirda, Harald Gall, Pascal Fenkam, Gerald Re...
CAISE
2003
Springer
15 years 7 months ago
MILK Mobile Support for Knowledge Management
Knowledge workers need to communicate and access knowledge while they work alone, in groups, sitting in their offices or on the move. This paper presents the MILK project, which ai...
Carla Valle, Elke Hinrichs, Karl-Heinz Klein, Gerd...
ICCCN
1998
IEEE
15 years 6 months ago
A Two-Phase Inter-Switch Handoff Scheme for Wireless ATM Networks
Supporting mobility in Wireless ATM networks poses a number of technical issues. An important issue is the ability to reroute ongoing virtual connections during handoff as mobile ...
Khaled Salah, Elias Drakopoulos