20126 search results - page 187 / 4026 » Timed Transition Systems |
194
click to vote
AB
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
174
click to vote
SIAMAM
2008
15 years 6 months ago
2008
This work is devoted to the modelling of phase transition. The thermodynamic model for phase transition chosen is a model with two equations of state, each of them modelling one p...
204
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
- Vulnerabilities related to weak passwords are a pressing global economic and security issue. We report a novel, simple, and effective approach to address the weak password probl...
173
click to vote
ATVA
2007
Springer
16 years 22 days ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
162
click to vote
CGF
2004
15 years 6 months ago
2004
We present a technique for creating a smoothly varying sequence of procedural textures that interpolates between arbitrary input samples of texture. This texture transformation us...