2877 search results - page 235 / 576 » Biological Computing |
203
click to vote
CIBCB
2006
IEEE
16 years 23 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...
175
click to vote
ASM
2005
ASM
16 years 7 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
Voted
ASM
2005
ASM
16 years 7 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...
164
click to vote
ASM
2005
ASM
16 years 7 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...
141
Voted
SASO
2007
IEEE
16 years 29 days ago
2007
IEEE
The concept of self-organization is rapidly gaining importance in the area of distributed computing systems. However, we still lack the necessary means for engineering such system...