Sciweavers

1247 search results - page 174 / 250
» A Multi-User Virtual Machine
Sort
View
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
14 years 1 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
POS
1998
Springer
14 years 29 days ago
Toward Class Evolution in Persistent Java?
The appeal of persistent class-oriented programming languages is great. Allowing class definitions to be persistent, in addition to instance data, greatly increases the ease of ac...
John V. E. Ridgway, Jack C. Wileden
ACSAC
2004
IEEE
14 years 16 days ago
.NET Security: Lessons Learned and Missed from Java
Many systems execute untrusted programs in virtual machines (VMs) to limit their access to system resources. Sun introduced the Java VM in 1995, primarily intended as a lightweigh...
Nathanael Paul, David Evans
APSEC
2004
IEEE
14 years 15 days ago
Partitioning of Java Applications to Support Dynamic Updates
The requirement for 24/7 availability of distributed applications complicates their maintenance and evolution as shutting down such applications to perform updates may not be an a...
Robert Pawel Bialek, Eric Jul, Jean-Guy Schneider,...
ATAL
2006
Springer
14 years 15 days ago
Multiagent simulation meets the real world
To realize large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of steps called 1) participatory simulation, where scen...
Toru Ishida