1856 search results - page 242 / 372 » Formal Dialectic Specification |
129
click to vote
APSEC
2007
IEEE
15 years 8 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...
153
click to vote
NICSO
2010
Springer
15 years 8 months ago
2010
Springer
t] Based on the mutation matrix formalism and past statistics of genetic algorithm, a Markov Chain transition probability matrix is introduced to provide a guided search for comple...
141
Voted
CMSB
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
115
click to vote
ICASSP
2007
IEEE
15 years 8 months ago
2007
IEEE
Thanks to a specific formalism for signal generation, it is possible to transpose an image processing problem to an array processing problem. For straight line characterization, t...
148
Voted
AINA
2006
IEEE
15 years 8 months ago
2006
IEEE
Ad hoc networks are dynamic networks formed "on the fly" by a set of nodes. Achieving secure routing in such networks is a big challenge. Asymmetric signature schemes pr...