Sciweavers

2278 search results - page 225 / 456
» Specification Techniques for Automatic Performance Analysis ...
Sort
View
SIGMETRICS
2008
ACM
161views Hardware» more  SIGMETRICS 2008»
15 years 6 months ago
Analysis of a gossip protocol in PRISM
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout dynamically changing networks. We present an analysis of a gossip pro...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
SENSYS
2009
ACM
16 years 1 months ago
Run time assurance of application-level requirements in wireless sensor networks
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
Jingyuan Li, Yafeng Wu, Krasimira Kapitanova, John...
MICCAI
2002
Springer
16 years 7 months ago
Discriminative Analysis for Image-Based Studies
Abstract. In this paper, we present a methodology for performing statistical analysis for image-based studies of differences between populations and describe our experience applyin...
Polina Golland, Bruce Fischl, Mona Spiridon, Nancy...
CGVR
2006
15 years 8 months ago
A Parametric Model for Automotive Packaging and Ergonomics Design
- This paper describes the capabilities of a parametric model developed to perform design and analysis tasks in the areas of advanced engineering activities during the development ...
Vivek Bhise, Anita Pillai
COMMA
2006
15 years 8 months ago
Value-Based Argumentation for Democratic Decision Support
In this paper we discuss the integration of two systems that are based on a specific theory of argumentation: the first, an existing web-based discussion forum; the second, a metho...
Katie Atkinson