4516 search results - page 218 / 904 » Automated System Design for Availability |
132
Voted
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
138
click to vote
CSL
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...
138
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
162
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: RNA interference has revolutionized our ability to study the effects of altering the expression of single genes in mammalian (and other) cells through targeted knockdo...
149
click to vote
ATC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. An Organic Computing system has the ability to autonomously (re-)organize and adapt itself. Such a system exhibits so called self-x properties (e.g. self-healing) and is ...