4799 search results - page 885 / 960 » Model Based Requirements Engineering for Embedded Software |
125
Voted
SPIN
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
114
Voted
DSN
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes the OFTT (OLE Fault Tolerance Technology), a fault tolerance middleware toolkit running on the Microsoft Windows NT operating system that provides required fa...
119
click to vote
DNA
2007
Springer
15 years 6 months ago
2007
Springer
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...
133
click to vote
IEEESP
2008
15 years 2 months ago
2008
Today, critical infrastructures like the power grid are essentially physical processes controlled by computers connected by networks. They are usually as vulnerable as any other i...
132
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...