Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
— Designing and implementing artificial self-organizing systems is a challenging task since they typically behave nonintuitive and no theoretical foundations exist. Predicting a...
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...
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...
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 ...