Sciweavers

365 search results - page 62 / 73
» Overview of TREC 2003
Sort
View
ISSRE
2003
IEEE
14 years 3 months ago
DARX - A Framework For The Fault-Tolerant Support Of Agent Software
This paper presents DARX, our framework for building applications that provide adaptive fault tolerance. It relies on the fact that multi-agent platforms constitute a very strong ...
Olivier Marin, Marin Bertier, Pierre Sens
ITCC
2003
IEEE
14 years 3 months ago
OnQ: An Authoring Tool for Dynamic Online Surveys
Internet growth and activity has been increasing almost exponentially over the last decade. Today, millions of people all over the world use the Internet for a variety of activiti...
Roy P. Pargas, James C. Witte, Laura Brand, Cather...
KBSE
2003
IEEE
14 years 3 months ago
On the automatic evolution of an OS kernel using temporal logic and AOP
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...
Rickard A. Åberg, Julia L. Lawall, Mario S&u...
RTCSA
2003
IEEE
14 years 3 months ago
XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat
TPHOL
2003
IEEE
14 years 3 months ago
MetaPRL - A Modular Logical Environment
MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative p...
Jason Hickey, Aleksey Nogin, Robert L. Constable, ...