Sciweavers

442 search results - page 3 / 89
» Dependency Charts as a Means to Model Inter-Scenario Depende...
Sort
View
73
Voted
IEEEARES
2006
IEEE
15 years 3 months ago
Towards an Integrated Conceptual Model of Security and Dependability
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
Erland Jonsson
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
14 years 8 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
75
Voted
ETFA
2008
IEEE
15 years 3 months ago
Evaluation of Sequential Function Charts execution techniques. The Active Steps Algorithm
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
Ramon Piedrafita Moreno, José Luis Villarro...
MCS
2002
Springer
14 years 9 months ago
New Measure of Classifier Dependency in Multiple Classifier Systems
Abstract. Recent findings in the domain of combining classifiers provide a surprising revision of the usefulness of diversity for modelling combined performance. Although there is ...
Dymitr Ruta, Bogdan Gabrys
SIGIR
2005
ACM
15 years 3 months ago
A Markov random field model for term dependencies
This paper develops a general, formal framework for modeling term dependencies via Markov random fields. The model allows for arbitrary text features to be incorporated as eviden...
Donald Metzler, W. Bruce Croft