13618 search results - page 311 / 2724 » The Newton Operating System |
205
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
We propose a primitive, called Pioneer, as a first step towards verifiable code execution on untrusted legacy hosts. Pioneer does not require any hardware support such as secure...
174
click to vote
IJCAI
2007
15 years 8 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
166
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Spacecraft are key components of military operations and everyday life. To achieve space situation awareness, human operators must monitor large numbers of parameters. During off-...
156
click to vote
OSDI
1996
ACM
15 years 8 months ago
1996
ACM
The explosive growth of the Internet, the widespread use of WWW-related applications, and the increased reliance on client-server architectures places interesting new demands on n...
132
click to vote
EOR
2006
15 years 6 months ago
2006
In this paper we continue the study of the unified dynamics resulting from the theory of projected dynamical systems and evolutionary variational inequalities, initiated by Cojocar...