Sciweavers

15888 search results - page 178 / 3178
» Supporting human-intensive systems
Sort
View
SC
1995
ACM
14 years 1 months ago
Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages
We describe the design of a runtime system for a fine-grained concurrent object-oriented (actor) language and its performance. The runtime system provides considerable flexibility...
WooYoung Kim, Gul Agha
JSW
2008
95views more  JSW 2008»
13 years 10 months ago
Architecture Support for Behavior-based Adaptive Checkpointing
Checkpointing is a commonly used approach to provide system fault-tolerance. However, using a constant checkpointing frequency may compromise the system's overall performance ...
Nianen Chen, Shangping Ren
ENTCS
2002
65views more  ENTCS 2002»
13 years 10 months ago
Superposition: Composition vs refinement of non-deterministic action-based systems
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...
Antónia Lopes, José Luiz Fiadeiro
PROPOR
2012
Springer
250views Languages» more  PROPOR 2012»
12 years 6 months ago
SIGA, a System to Manage Information Retrieval Evaluations
This paper provides an overview of the current version of SIGA, a system that supports the organization of information retrieval (IR) evaluations. SIGA was recently used in Págico...
Luís Fernando Costa, Cristina Mota, Diana S...
HCI
2007
13 years 11 months ago
Closed-Loop Adaptive Decision Support Based on Automated Trust Assessment
This paper argues that it is important to study issues concerning trust and reliance when developing systems that are intended to augment cognition. Operators often under-rely on t...
Peter-Paul van Maanen, Tomas Klos, Kees van Dongen