2482 search results - page 237 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
95
Voted
IWMM
2004
Springer
15 years 8 months ago
2004
Springer
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...
112
click to vote
HYBRID
1994
Springer
15 years 6 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
132
Voted
CORR
2004
Springer
15 years 2 months ago
2004
Springer
: Security of computers and the networks that connect them is increasingly becoming of great significance. Computer security is defined as the protection of computing systems again...
116
click to vote
CASCON
1996
15 years 3 months ago
1996
We introduce a seamless messaging system for the management of personal messages. The aim of it is to intercept, filter, interpret, and deliver multi-modal messages (voice, fax, a...
99
Voted
SOSP
1997
ACM
15 years 3 months ago
1997
ACM
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This ...