As data centers become more and more central in Internet communications, both research and operations communities have begun to explore how to better design and manage them. In th...
Research on Moving Object Databases (MOD) has resulted in sophisticated query mechanisms for moving objects and regions. Wireless Sensor Networks (WSN) support a wide range of app...
The MultimediaN concert-video browser demonstrates a video interaction environment for efficiently browsing video registrations of pop, rock and other music concerts. The exhibiti...
Ynze van Houten, Suphi Umut Naci, Bauke Freiburg, ...
Optical coherence tomography (OCT) is an optical ranging technique analogous to radar — detection of back-scattered light produces a signal that is temporally localized at times...
Brynmor J. Davis, Tyler S. Ralston, Daniel L. Mark...
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
Tuomas Launiainen, Keijo Heljanko, Tommi A. Juntti...