67 search results - page 8 / 14 » K42: building a complete operating system |
101
click to vote
ICPADS
2002
IEEE
15 years 4 months ago
2002
IEEE
Video-on-demand (VoD) systems have traditionally been built on the client-server architecture, where a video server stores, retrieves, and transmits video data to video clients fo...
121
click to vote
VMCAI
2012
Springer
13 years 7 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
126
click to vote
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
Service providers as we know them nowadays are the always-on “static” web service providers, that aim at Five9 availability (99.999%). Formal, or de-facto, standards, such as ...
102
click to vote
DL
1998
Springer
15 years 3 months ago
1998
Springer
We present CiteSeer: an autonomous citation indexing system which indexes academic literature in electronic format (e.g. Postscript files on the Web). CiteSeer understands how to ...
153
click to vote
SADFE
2008
IEEE
15 years 6 months ago
2008
IEEE
Different users apply computer forensic systems, models, and terminology in very different ways. They often make incompatible assumptions and reach different conclusions about ...