233 search results - page 17 / 47 » Abstraction-Carrying Code: a Model for Mobile Code Safety |
ISCAPDCS
2004
13 years 8 months ago
2004
Location based services in mobile environments have been recognized as a challenging problem that calls for new service models and dynamic strategies. The problem becomes even har...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
SECON
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—Besides safe navigation (e.g., warning of approaching vehicles), car to car communications will enable a host of new applications, ranging from office-on-the-wheel supp...
IAT
2005
IEEE
14 years 1 months ago
2005
IEEE
The mobile agent technology is an important research area in the scope of code mobility. As part of an agent mission objective, it may exist the necessity of meeting an end-to-end...
COOPIS
2004
IEEE
13 years 11 months ago
2004
IEEE
Abstract. We have recently witnessed a growing interest in self organising systems, both in research and in practice. These systems re-organise in response to new or changing condi...