1234 search results - page 234 / 247 » Privacy-preserving Virtual Machine |
111
click to vote
VRML
2003
ACM
15 years 4 months ago
2003
ACM
Success of 3D applications on the Web inherently depends on object behavior and interaction. Current Web3D formats often fall short in supporting behavior modeling. This paper int...
101
click to vote
CHARME
2003
Springer
15 years 4 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
140
click to vote
EGOV
2003
Springer
15 years 4 months ago
2003
Springer
: New information and communication technologies within the Administration give rise to a series of important challenges: to select and use the various telematic and computer-relat...
LCPC
2001
Springer
15 years 4 months ago
2001
Springer
While uniprocessor garbage collection is relatively well understood, experience with collectors for large multiprocessor servers is limited and it is unknown which techniques best ...
101
click to vote
MSS
2000
IEEE
15 years 4 months ago
2000
IEEE
The Jiro™ technology provides an environment intended for the implementation of storage management solutions. A product based on Jiro technology is an implementation based on th...