We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen...
People tend to form social networks within geographical areas. This can be explained by the fact that generally geographical localities correspond to common interests (e.g. studen...
We have been developing a support system for the visually disabled t,o actively recognize threedimensional objects or environments, an application system of 3D computer vision. Th...
This paper presents a context management system for supporting context-aware applications in a smart home. In a ubiquitous computing environment context changes dynamically and th...
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...