3686 search results - page 157 / 738 » An Approach to a Trustworthy System Architecture Using Virtu... |
165
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...
170
click to vote
CCS
1998
ACM
15 years 10 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
204
click to vote
ECHT
1992
15 years 10 months ago
1992
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
179
click to vote
MOBICOM
2005
ACM
15 years 12 months ago
2005
ACM
People often seek information by asking other people even when they have access to vast reservoirs of information such as the Internet and libraries. This is because people are gr...
210
click to vote
INTERNET
2010
15 years 3 months ago
2010
In multi-user networked virtual environments such as Second Life, 3D streaming techniques have been used to progressively download and render 3D objects and terrain, so that a ful...