Sciweavers

626 search results - page 90 / 126
» Correct Composition of Design Components
Sort
View
EDCC
2010
Springer
14 years 11 days ago
Towards Understanding the Importance of Variables in Dependable Software
Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...
Matthew Leeke, Arshad Jhumka
PPAM
2005
Springer
14 years 1 months ago
Open MPI: A Flexible High Performance MPI
Abstract. A large number of MPI implementations are currently available, each of which emphasize different aspects of high-performance computing or are intended to solve a speciï¬...
Richard L. Graham, Timothy S. Woodall, Jeffrey M. ...
COSIT
1997
Springer
115views GIS» more  COSIT 1997»
13 years 11 months ago
Qualitative Representation of Change
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
Kathleen Hornsby, Max J. Egenhofer
PUC
2006
89views more  PUC 2006»
13 years 7 months ago
UbiqStack: a taxonomy for a ubiquitous computing software stack
This paper describes a taxonomy for a ubiquitous computing software stack called UbiqStack. Through the lens of the UbiqStack taxonomy we survey a variety of subsystems designed to...
Martin Modahl, Bikash Agarwalla, T. Scott Saponas,...
IJRR
2002
96views more  IJRR 2002»
13 years 7 months ago
Phase Regulation of Decentralized Cyclic Robotic Systems
We address the problem of coupling cyclic robotic tasks to produce a specified coordinated behavior. Such coordination tasks are common in robotics, appearing in applications like...
Eric Klavins, Daniel E. Koditschek