Sciweavers

1179 search results - page 162 / 236
» Event Model Interfaces for Heterogeneous System Analysis
Sort
View
APBC
2003
123views Bioinformatics» more  APBC 2003»
15 years 7 months ago
A Platform for the Description, Distribution and Analysis of Genetic Polymorphism Data
In this paper we suggest the requirements for an open platform designed for the description, distribution and analysis of genetic polymorphism data. This platform is discussed in ...
Greg D. Tyrelle, Garry C. King
EICS
2009
ACM
16 years 3 days ago
Engineering crowd interaction within smart environments
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
Michael D. Harrison, Mieke Massink, Diego Latella
ATVA
2007
Springer
115views Hardware» more  ATVA 2007»
15 years 11 months ago
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
WWW
2007
ACM
16 years 6 months ago
Compare&contrast: using the web to discover comparable cases for news stories
Comparing and contrasting is an important strategy people employ to understand new situations and create solutions for new problems. Similar events can provide hints for problem s...
Jiahui Liu, Earl Wagner, Larry Birnbaum
CHI
2007
ACM
16 years 6 months ago
Mapmover: a case study of design-oriented research into collective expression and constructed publics
In this paper we present the MapMover project as a case study into the use and design of an interactive system for collective expression. Informed by analysis and reflection we ad...
Carl F. DiSalvo, Jeff Maki, Nathan Martin