13618 search results - page 406 / 2724 » The Newton Operating System |
150
click to vote
MOC
2002
15 years 6 months ago
2002
There are 50,024 Kirkman triple systems of order 21 admitting an automorphism of order 2. There are 13,280 Kirkman triple systems of order 21 admitting an automorphism of order 3. ...
200
click to vote
NDSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Several new approaches for detecting malicious attacks on computer systems and/or confining untrusted or malicious applications have emerged over the past several years. These tec...
160
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
SUNDR is a network file system designed to store data securely on untrusted servers. SUNDR lets clients detect any attempts at unauthorized file modification by malicious server o...
185
click to vote
ATVA
2005
Springer
16 years 13 days ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
181
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
Barrier synchronization is a crucial operation for parallel systems. Many schemes have been proposed in the literature to achieve fast barrier synchronization through software, ha...