5900 search results - page 146 / 1180 » Dependable Systems |
114
click to vote
ALIFE
2008
15 years 3 months ago
2008
Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to communicate in order to regulate the expression of certain ...
137
Voted
ACL
2009
15 years 22 days ago
2009
We would like to draw attention to Hidden Markov Tree Models (HMTM), which are to our knowledge still unexploited in the field of Computational Linguistics, in spite of highly suc...
121
Voted
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. The dependency pair technique is a powerful modular method for automated termination proofs of term rewrite systems. We first show that dependency pairs are also suitabl...
133
click to vote
CODES
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
120
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
Service-orientation has been proposed as a way of facilitating the development and integration of increasingly complex and heterogeneous system components. However, there are many...