9284 search results - page 1452 / 1857 » Knowledge State Algorithms |
164
click to vote
ATVA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
165
click to vote
CHES
2005
Springer
16 years 9 days ago
2005
Springer
We extend the model of Karlof and Wagner for modelling side channel attacks via Input Driven Hidden Markov Models (IDHMM) to the case where not every state corresponds to a single ...
184
click to vote
COMPLIFE
2005
Springer
16 years 8 days ago
2005
Springer
In the present paper we explain the basic ideas of Robust Perron Cluster Analysis (PCCA+) and exemplify the different application areas of this new and powerful method. Recently, ...
176
click to vote
ECAL
2005
Springer
16 years 8 days ago
2005
Springer
The transition from unicellular to multicellular organisms is one of the mysteries of evolutionary biology. Individual cells must give up their rights to reproduction and reproduce...
173
Voted
EGC
2005
Springer
16 years 8 days ago
2005
Springer
A major challenge facing grid applications is the appropriate handling of failures. In this paper we address the problem of making parallel Java applications based on Remote Method...