Sciweavers

3168 search results - page 381 / 634
» Computing Event Dependencies in System Designs and Programs
Sort
View
ICDCS
2002
IEEE
15 years 11 months ago
Improving Search in Peer-to-Peer Networks
Peer-to-peer systems have emerged as a popular way to share huge volumes of data. The usability of these systems depends on effective techniques to find and retrieve data; howeve...
Beverly Yang, Hector Garcia-Molina
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
16 years 2 days ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
PRDC
2005
IEEE
16 years 3 days ago
On Automating Failure Mode Analysis and Enhancing its Integrity
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkala...
PERVASIVE
2004
Springer
15 years 12 months ago
Activity Recognition in the Home Using Simple and Ubiquitous Sensors
In this work, a system for recognizing activities in the home setting using a set of small and simple state-change sensors is introduced. The sensors are designed to be “tape on ...
Emmanuel Munguia Tapia, Stephen S. Intille, Kent L...
TSD
2000
Springer
15 years 10 months ago
Comparison of Frequency Bands in Closed Set Speaker Identification Performance
Lots of words can be said about the importance of speaker identification for people, but no word might be as meaningful as the imagination of a life without having any speaker iden...
Özgür Devrim Orman, Levent M. Arslan