2030 search results - page 160 / 406 » The Need for Customizable Operating Systems |
163
Voted
ACNS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Several researchers have proposed the use of threshold cryptographic model to enable secure communication in ad hoc networks without the need of a trusted center. In this...
141
click to vote
LICS
1989
IEEE
15 years 8 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
177
click to vote
SIGMETRICS
2012
ACM
13 years 7 months ago
2012
ACM
In this work we present the differences and similarities of the web browsing behavior in most common mobile platforms. We devise a novel Operating System (OS) fingerprinting met...
181
click to vote
VLSID
2007
IEEE
16 years 5 months ago
2007
IEEE
In the past, Field Programmable Gate Array (FPGA) circuits only contained a limited amount of logic and operated at a low frequency. Few applications running on FPGAs consumed exc...
148
click to vote
OSDI
2002
ACM
16 years 5 months ago
2002
ACM
This paper shows how to quickly move the state of a running computer across a network, including the state in its disks, memory, CPU registers, and I/O devices. We call this state...