1237 search results - page 155 / 248 » Foundations of Modelling and Simulation of Complex Systems |
133
Voted
ISMVL
2007
IEEE
15 years 10 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
134
Voted
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Gene regulatory networks (GRNs) are complex control systems that govern the interaction of genes, which ultimately control cellular processes at the protein level. GRNs can be ted...
171
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
146
Voted
COOP
2004
15 years 5 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
127
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
Pervasive computing is becoming a reality, thanks to advances in wireless networking and increased popularity of portable devices. Users of these devices will need support to deci...