4839 search results - page 120 / 968 » A survey of computational complexity results in systems and ... |
134
Voted
RTSS
2003
IEEE
15 years 7 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
86
Voted
CHI
2006
ACM
16 years 2 months ago
2006
ACM
This work in progress reports a study of cross-cultural collaboration mediated by board-based collaborative systems. American-Chinese and American-American pairs performed collabo...
105
click to vote
JCP
2006
15 years 1 months ago
2006
Abstract-- This work aims to pave the way for high availability in high-performance computing (HPC) by focusing on efficient redundancy strategies for head and service nodes. These...
117
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
Circadian rhythms are biological processes found in all living organisms, from plants to insects to mammals that repeat with a period close to, but not exactly, 24 hours. In the ab...
121
Voted
JCS
2008
15 years 1 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...