8132 search results - page 1273 / 1627 » Dependability, Abstraction, and Programming |
181
click to vote
DILS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Microarrays are one of the latest breakthroughs in experimental molecular biology. Thousands of different research groups generate tens of thousands of microarray gene e...
172
click to vote
DNA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The intramolecular model for gene assembly in ciliates considers three operations, ld, hi, and dlad that can assemble any gene pattern through folding and recombination: ...
196
click to vote
EDCC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
203
click to vote
ESORICS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
182
Voted
ICAPR
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper addresses the clustering problem of hidden dynamical systems behind observed multivariate sequences by assuming an interval-based temporal structure in the seq...