1809 search results - page 278 / 362 » A Formal Specification of dMARS |
CONCUR
1990
Springer
14 years 2 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
APSEC
2007
IEEE
14 years 2 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, ...
NICSO
2010
Springer
14 years 2 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...
CMSB
2009
Springer
14 years 1 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...
ICASSP
2007
IEEE
14 years 1 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...