Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,978,464 papers from all fields of science
Search
Sign In
Create Free Account
Dependability
Known as:
Dependable systems
In systems engineering, dependability is a measure of a system's availability, reliability, and its maintainability, and maintenance support…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
26 relations
Accessibility
Brian Randell
Byzantine fault tolerance
Confidentiality
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Optimal Period Length for the CGS Sensor Network Scheduling Algorithm
Gábor Bergmann
,
M. Molnár
,
László Gönczy
,
Bernard A. Cousin
Sixth International Conference on Networking and…
2010
Corpus ID: 8134401
In Wireless Sensor Networks (WSN), a tradeoff between the network lifetime (limited by energy of sensors) and redundancy of…
Expand
2010
2010
Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B
NASA Formal Methods
2010
Corpus ID: 10486634
Recently a set of guidelines, or cookbook, has been developed for modelling and refinement of control problems in Event-B. The…
Expand
2007
2007
Inner-Circle Consistency for Wireless Ad Hoc Networks
C. Basile
,
Z. Kalbarczyk
,
R. Iyer
IEEE Transactions on Mobile Computing
2007
Corpus ID: 2037529
This paper proposes and evaluates strategies to build reliable and secure wireless ad hoc networks. Our contribution is based on…
Expand
2007
2007
PfeLib—A Performance Primitives Library for Embedded Vision
C. Zinner
,
W. Kubinger
,
Richard Isaacs
EURASIP Journal on Embedded Systems
2007
Corpus ID: 11222377
This paper presents our work on PfeLib—a high performance software library for image processing and computer vision algorithms…
Expand
2003
2003
The Ratification by the United Kingdom of the European Charter for Regional or Minority Languages. Mercator Working Papers.
R. Dunbar
2003
Corpus ID: 150416921
TITLE The Ratification by the United Kingdom of the European Charter for Regional or Minority Languages. Mercator Working Papers…
Expand
Highly Cited
2001
Highly Cited
2001
Linking improvement models to manufacturing strategies - a methodology for SMEs and other enterprises
M. Barad
,
D. Gien
2001
Corpus ID: 55425516
Small Manufacturing Enterprises (SMES) are of major importance to the future economic growth of the European Community. To…
Expand
2001
2001
Balancing Discipline and Flexi-bility with The Spiral Model and MBASE
D. Port
2001
Corpus ID: 2455328
www.stsc.hill.af.mil 23 I his keynote address at the 1996 International Conference on Software Engineering, Tom De Marco…
Expand
2000
2000
Innovation in use: Interleaving day-to-day operation and systems development
A. Voss
,
R. Procter
,
Robin Williams
2000
Corpus ID: 17586948
User-centred approaches to information systems development presume a particular division of labour between 'users' and 'designers…
Expand
1998
1998
An implementation model for time-triggered message-triggered object support mechanisms in CORBA-compliant COTS platforms
E. Shokri
,
P. Crane
,
Beverly Hills
IEEE International Symposium on Real-Time…
1998
Corpus ID: 6104108
Object-oriented analysis and design methodologies have become popular in development of non-real-time business data processing…
Expand
1993
1993
Validation of personality and cognitive measures for insurance claims examiners
S. Arneson
,
Mary Millikin-Davies
,
J. Hogan
1993
Corpus ID: 128358040
Claims Examiners are critical for the profitability of large insurance companies. Mistakes in hiring these people can result in…
Expand