7890 search results - page 245 / 1578 » The MathSAT 3 System |
343
click to vote
ACMDIS
2010
ACM
15 years 4 months ago
2010
ACM
Infrastructure awareness systems reveal invisible aspects of infrastructures to their existing or potential users. Designing such systems is challenging as it requires making visi...
187
click to vote
DAC
2012
ACM
13 years 9 months ago
2012
ACM
Many state-of-the-art approaches on fault-tolerant system design make the simplifying assumption that all faults are detected within a certain time interval. However, based on a d...
150
click to vote
RTSS
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper we describe our experiments on a realtime system design, focusing on design alternatives such as scheduling jitter, sensor-to-output latency, intertask communication...
165
click to vote
EICS
2010
ACM
15 years 9 months ago
2010
ACM
In this paper we present Malai, a model-based user interface development environment. Malai is dedicated to the conception of post-WIMP (Window, Icon, Menu, Pointing device) inter...
181
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We analyze information leaks in the lookup mechanisms of structured peer-to-peer anonymous communication systems and how these leaks can be used to compromise anonymity. We show t...