1643 search results - page 49 / 329 » Consistability: Describing Usually Consistent Systems |
170
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
159
click to vote
IWSSD
1993
IEEE
15 years 9 months ago
1993
IEEE
We are developing tools to support a conversational metaphor for requirements definition and analysis. Our conversational model consists of three components: (1) a hypertextual re...
109
click to vote
MSS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes a design that addresses limitations inherent in the initial implementation of the Archive for the Earth Observing Systems (EOS). The design consists of two el...
170
click to vote
SSWMC
2004
15 years 6 months ago
2004
This paper describes the design, implementation and evaluation of a user-verification system for a smart gun, which is based on grip-pattern recognition. An existing pressure sens...
165
click to vote
PDPTA
1997
15 years 6 months ago
1997
This article describes the ongoing work of real-time message passing interface MPI standardization. Real-time MPI MPI RT provides a consistent set of extensions and, in some ca...