Sciweavers

1003 search results - page 48 / 201
» Understanding Availability
Sort
View
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
15 years 3 months ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol
IVA
2005
Springer
15 years 3 months ago
Natural Behavior of a Listening Agent
Abstract. In contrast to the variety of listening behaviors produced in humanto-human interaction, most virtual agents sit or stand passively when a user speaks. This is a reflecti...
R. M. Maatman, Jonathan Gratch, Stacy Marsella
DSOM
2004
Springer
15 years 3 months ago
ABHA: A Framework for Autonomic Job Recovery
Key issues to address in autonomic job recovery for cluster computing are recognizing job failure; understanding the failure sufficiently to know if and how to restart the job; an...
Charles Earl, Emilio Remolina, Jim Ong, John Brown...
DEXAW
2003
IEEE
91views Database» more  DEXAW 2003»
15 years 3 months ago
Web Technology for Education and Training
The Internet has enabled a great amount of information to be readily available and easily accessible. It has promoted several changes in the world, including in the education area...
Sean W. M. Siqueira, Maria Helena Lima Baptista Br...
IWPC
2003
IEEE
15 years 3 months ago
Comprehension of Software Analysis Data Using 3D Visualization
The paper presents a software visualization application-framework that utilizes a variety of 3D metaphors to represent large software system and related analysis data. The 3D repr...
Andrian Marcus, Louis Feng, Jonathan I. Maletic