2875 search results - page 162 / 575 » Distributed Reactive Machines |
151
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a new specification/implementation of the mobile agent language Mobile Maude. This new version uses the external sockets provided by Maude since its 2.2 version, thus ...
162
click to vote
IEEEARES
2008
IEEE
16 years 24 days ago
2008
IEEE
Preserving integrity of applications being executed in remote machines is an open problem. Integrity requires that application code is not tampered with, prior to or during execut...
182
click to vote
JVM
2004
15 years 7 months ago
2004
Checkpointing virtual machines shows potential for allowing a user to download, install, and initialize a complete software environment by selecting a web page link. Starting with...
144
click to vote
DMS
2010
15 years 5 months ago
2010
This work was proposed as a Doctoral Thesis of Applied Computing Course at Brazilian National Institute for Space Research (INPE) and is a ongoing work. The main purpose of SICSDA ...
161
click to vote
ERCIMDL
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a hybrid scavenger grid as an underlying hardware architecture for search services within digital libraries. The hybrid scavenger grid consists of both dedicate...