Sciweavers

4192 search results - page 370 / 839
» Efficient testing of groups
Sort
View
ICST
2008
IEEE
16 years 1 months ago
Model-Based Quality Assurance of Windows Protocol Documentation
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...
CIDM
2007
IEEE
16 years 1 months ago
Structure Prediction in Temporal Networks using Frequent Subgraphs
— There are several types of processes which can be modeled explicitly by recording the interactions between a set of actors over time. In such applications, a common objective i...
Mayank Lahiri, Tanya Y. Berger-Wolf
CRV
2007
IEEE
232views Robotics» more  CRV 2007»
16 years 1 months ago
Automatic Annotation of Humans in Surveillance Video
In this paper we present a system for automatic annotation of humans passing a surveillance camera. Each human has 4 associated annotations: the primary color of the clothing, the...
D. M. Hansen, Bjarne K. Mortensen, P. T. Duizer, J...
ICCCN
2007
IEEE
16 years 1 months ago
A Fast Delivery Protocol for Total Order Broadcasting
Abstract—Sequencer, privilege-based, and communication history algorithms are popular approaches to implement total ordering, where communication history algorithms are most suit...
Li Ou, Xubin He, Christian Engelmann, Stephen L. S...
ICDS
2007
IEEE
16 years 1 months ago
Smart Homecare System for Health Tele-monitoring
—  An increasing aged population worldwide puts our medical capabilities to the test. Research and commercial groups are investigating novel ways to care for the aged and chroni...
Peter Leijdekkers, Valérie Gay, Elaine Lawr...