Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,830,544 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
2008
2008
Event-driven manufacturing: Unified management of primitive and complex events for manufacturing monitoring and control
Karen Walzer
,
J. Rode
,
Daniela Wünsch
,
Matthias Groch
,
Matthias Groch
IEEE International Workshop on Factory…
2008
Corpus ID: 13525154
Events are an integral part of todays manufacturing supervision and control software. However, state-of-the-art event management…
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
2002
2002
Adaptive Topology Discovery in Hybrid Wireless Networks
Ranveer Chandra
,
C. Fetzer
2002
Corpus ID: 16797710
Wireless networks in home, office and sensor applications consist of nodes with low mobility. Most of these networks have at least…
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
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