Sciweavers

28445 search results - page 488 / 5689
» Anatomically based modeling
Sort
View
126
Voted
CONCUR
2009
Springer
15 years 10 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
232
Voted
DILS
2009
Springer
15 years 10 months ago
Towards Enhanced Retrieval of Biological Models through Annotation-Based Ranking
Dagmar Köhn, Carsten Maus, Ron Henkel, Martin...
102
Voted
ER
2009
Springer
112views Database» more  ER 2009»
15 years 10 months ago
A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models
Jörg Becker, Patrick Delfmann, Sebastian Herw...
89
Voted
FMCAD
2009
Springer
15 years 10 months ago
Interpolation-sequence based model checking
Yakir Vizel, Orna Grumberg
100
Voted
FMICS
2009
Springer
15 years 10 months ago
Model-Based Testing of Electronic Passports
Wojciech Mostowski, Erik Poll, Julien Schmaltz, Ja...