Sciweavers

1302 search results - page 184 / 261
» From Liveness to Promptness
Sort
View
IPTPS
2004
Springer
15 years 11 months ago
The Case for a Hybrid P2P Search Infrastructure
Popular P2P file-sharing systems like Gnutella and Kazaa use unstructured network designs. These networks typically adopt flooding-based search techniques to locate files. Whil...
Boon Thau Loo, Ryan Huebsch, Ion Stoica, Joseph M....
MHCI
2004
Springer
15 years 11 months ago
The Personal Audio Loop: Designing a Ubiquitous Audio-Based Memory Aid
Sound is an important medium in our lives, but its ephemeral nature can be problematic when people cannot recall something they heard in the past. Motivated by everyday conversatio...
Gillian R. Hayes, Shwetak N. Patel, Khai N. Truong...
SAFECOMP
2004
Springer
15 years 11 months ago
How Explicit Are the Barriers to Failure in Safety Arguments?
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
Shamus P. Smith, Michael D. Harrison, Bastiaan A. ...
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
15 years 11 months ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
ICAT
2003
IEEE
15 years 11 months ago
Hierarchical QoS Architecture for Networked Virtual Dancing Environment
In this paper, we present the hierarchical QoS architecture for the virtual dancing environment. In this system, geographically distributed users share the virtual dancing hall an...
Jin Ryong Kim, Youjip Won, Beomeun Kim