4890 search results - page 383 / 978 » From system specifications to component behavioral models |
203
click to vote
ACSD
2006
IEEE
16 years 1 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
152
click to vote
IJBC
2010
15 years 1 months ago
2010
In this paper, a discrete version of a reaction-diffusion equation, also known as coupled map lattice (CML), which corresponds to the Turing model of morphogenesis is studied. It i...
199
click to vote
EDOC
2002
IEEE
15 years 12 months ago
2002
IEEE
Continuous change of user requirements has become a constant for geo-information systems. Designing systems that can adapt to such changes requires an appropriate ethodology that ...
206
click to vote
GECCO
2005
Springer
16 years 16 days ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
139
click to vote
UM
2005
Springer
16 years 15 days ago
2005
Springer
Stereotypes and clustering are some techniques for creating user models from user behavior. Yet, they possess important risks as users actions could be misinterpreted or users coul...