A collaborative case based study has established that Active Networks will have a very significant impact on Network operators. Active Networking appears to be the only route to a...
Arto Juhola, Ian Marshall, Stefan Covaci, Thomas V...
This paper describes research that investigated the application of 3D Augmented Reality (AR) for animating traffic simulation models in real time to support the planning and desig...
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
This work-in-progress (WIP) paper presents Server-CAN and highlights its operation and possible vulnerabilities from a fault tolerance point of view. The paper extends earlier wor...
Despite extensive theoretical work carried out on coordination during the last three decades, much research is still devoted to proving the merits of one model over another. In ou...