5838 search results - page 340 / 1168 » A File System for System Programming in Ubiquitous Computing |
144
Voted
JLP
2007
15 years 4 months ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
135
click to vote
IRREGULAR
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We describe the design and implementation of the Distributed ObjectOriented Threads System (DOTS). This system is a complete redesign of the Distributed Threads System (D...
118
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Remote presentation is an interesting model for executing applications in mobile devices, since applications can be executed on a server and their interfaces displayed on mobile c...
181
click to vote
MCMASTER
1993
15 years 9 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
150
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Distributed applications involving mobile devices interconnected by wireless networks may benefit both from multiagent technology and context-aware programming techniques. This ar...