2903 search results - page 188 / 581 » On the univalence of an integral operator |
152
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
The proliferation of mobile devices has given rise to novel user-centric applications and services. In current mobile systems, users gain access to remote servers over mobile netwo...
162
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents the architecture, design and implementation of an email server that runs on a bare PC without an operating system or hard-disk. In addition to providing sta...
187
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
With technology advances, the number of cores integrated on a chip and their speed of operation is increasing. This, in turn is leading to a significant increase in chip temperat...
187
click to vote
B
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
182
click to vote
SIGOPSE
2004
ACM
15 years 12 months ago
2004
ACM
Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...