2877 search results - page 230 / 576 » Computational Biology |
138
click to vote
AB
2007
Springer
16 years 24 days ago
2007
Springer
Abstract The classical attenuation regulation of gene expression in bacteria is considered. We propose to represent the secondary RNA structure in the leader region of a gene or an...
203
click to vote
CIBCB
2006
IEEE
16 years 20 days ago
2006
IEEE
: Iris recognition is accepted as one of the most efficient biometric method. Implementing this method to the practical system requires the special image preprocessing where the ir...
172
click to vote
ASM
2005
ASM
16 years 4 days ago
2005
ASM
In this paper we introduce a new research effort in making state machines executable. The aim is to specify and implement an execution engine for a language that is as close as po...
173
click to vote
ASM
2005
ASM
16 years 4 days ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
161
click to vote
ASM
2005
ASM
16 years 4 days ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...