Sciweavers

288 search results - page 25 / 58
» Virtual Machines, Managed Code and Component Technology
Sort
View
HICSS
2010
IEEE
166views Biometrics» more  HICSS 2010»
15 years 4 months ago
VrtProf: Vertical Profiling for System Virtualization
As data centers and end users become increasingly reliant on virtualization technology, more efficient and accurate methods of profiling such systems are needed. However, under vir...
Hussam Mousa, Kshitij Doshi, Timothy Sherwood, ElM...
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
15 years 4 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet
SIGOPS
2008
145views more  SIGOPS 2008»
14 years 11 months ago
Towards distributed storage resource management using flow control
Deployment of shared storage systems is increasing with rapid adoption of virtualization technologies to provide isolation, better management and high utilization of resources. Qu...
Ajay Gulati, Irfan Ahmad
ML
2007
ACM
122views Machine Learning» more  ML 2007»
14 years 11 months ago
Status report: hot pickles, and how to serve them
The need for flexible forms of serialisation arises under many circumstances, e.g. for doing high-level inter-process communication or to achieve persistence. Many languages, inc...
Andreas Rossberg, Guido Tack, Leif Kornstaedt
COOTS
1998
15 years 1 months ago
Mobile Objects and Agents (MOA)
This paper describes the design and implementation of the Mobile Objects and Agents (MOA) project at the Open Group Research Institute. MOA was designed to support migration, comm...
Dejan S. Milojicic, William LaForge, Deepika Chauh...