We de ne robust timed automata, which are timed automata that accept all trajectories \robustly": if a robust timed automaton accepts a trajectory, then it must accept neighbo...
Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesa...
During the last year we have been designing and studying a computer based tool intended to strengthen social group awareness within a research laboratory. While awareness has been...
Application-specific safe message handlers (ASHs) are designed to provide applications with hardware-level network performance. ASHs are user-written code fragments that safely an...
Deborah A. Wallach, Dawson R. Engler, M. Frans Kaa...
: To model surface imperfections and weathering, we proposea two-step texture generation framework in between manual texture synthesis and automatic physical simulation. Although t...
The age of mobile computing with small portable computers is upon us. However, systems researchers continue to focus on transferring their workstation environments to these machin...