Sciweavers

592 search results - page 77 / 119
» Refining Goal Models by Evaluating System Behaviour
Sort
View
IEEEARES
2007
IEEE
15 years 10 months ago
From Trust to Dependability through Risk Analysis
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...
Yudistira Asnar, Paolo Giorgini, Fabio Massacci, N...
ICDT
2011
ACM
270views Database» more  ICDT 2011»
14 years 7 months ago
On the equivalence of distributed systems with queries and communication
Distributed data management systems consist of peers that store, exchange and process data in order to collaboratively achieve a common goal, such as evaluate some query. We study...
Serge Abiteboul, Balder ten Cate, Yannis Katsis
HASE
2008
IEEE
15 years 10 months ago
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
Jonas Elmqvist, Simin Nadjm-Tehrani
CHI
2009
ACM
16 years 4 months ago
EnsembleMatrix: interactive visualization to support machine learning with multiple classifiers
Machine learning is an increasingly used computational tool within human-computer interaction research. While most researchers currently utilize an iterative approach to refining ...
Justin Talbot, Bongshin Lee, Ashish Kapoor, Desney...
135
Voted
ARTMED
2006
75views more  ARTMED 2006»
15 years 4 months ago
Semi-automatic learning of simple diagnostic scores utilizing complexity measures
Objective: Knowledge acquisition and maintenance in medical domains with a large application domain ontology is a difficult task. To reduce knowledge elicitation costs, semiautoma...
Martin Atzmüller, Joachim Baumeister, Frank P...