13618 search results - page 339 / 2724 » The Newton Operating System |
145
click to vote
JANCL
2008
15 years 6 months ago
2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
239
click to vote
ENTCS
2006
15 years 6 months ago
2006
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
194
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
: In the Grid environment, user can manage and make use of web services, such as uploading or downloading web services. But when user want to download one web services to run it in...
162
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
We describe a new design for authorization in operating systems in which applications are first-class entities. In this design, principals reflect application identities. Access c...
209
click to vote
HOTOS
2003
IEEE
16 years 2 days ago
2003
IEEE
Two big problems with operating systems written in unsafe languages are that they crash too often and that adding features becomes much more difficult over time. One cause of bot...