7075 search results - page 109 / 1415 » Models and heterogeneous reasoning |
87
Voted
CSL
2006
Springer
15 years 3 months ago
2006
Springer
129
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: For heterogeneous tissues, such as blood, measurements of gene expression are confounded by relative proportions of cell types involved. Conclusions have to rely on es...
127
Voted
FM
2003
Springer
15 years 9 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
131
Voted
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
Wireless Sensor Networks (WSNs) are increasingly being employed as a key building block of pervasive computing infrastructures, owing to their ability to be embedded within the re...
130
Voted
MABS
2004
Springer
15 years 9 months ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...