13618 search results - page 307 / 2724 » The Newton Operating System |
163
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Current system loggers have two problems: they depend on the integrity of the operating system being logged, and they do not save sufficient information to replay and analyze atta...
175
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
To effectively support today's global economy, database systems need to store and manipulate text data in multiple languages simultaneously. Current database systems do suppor...
158
Voted
USS
2008
15 years 9 months ago
2008
In light of the systemic vulnerabilities uncovered by recent reviews of deployed e-voting systems, the surest way to secure the voting process would be to scrap the existing syste...
207
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
199
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...