1247 search results - page 237 / 250 » A Multi-User Virtual Machine |
CHARME
2003
Springer
14 years 1 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...
EGOV
2003
Springer
14 years 1 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
14 years 1 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 ...
MSS
2000
IEEE
14 years 29 days 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...
AGENTS
2000
Springer
14 years 29 days ago
2000
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...