586 search results - page 107 / 118 » On the Range of Applicability of Baker's Approach to the Fra... |
ISSTA
2004
ACM
14 years 29 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
—Social networks exhibit a very special property: community structure. Understanding the network community structure is of great advantages. It not only provides helpful informat...
TFM
2009
Springer
14 years 2 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
RECOMB
2007
Springer
14 years 7 months ago
2007
Springer
In the past decade, genome rearrangements have attracted increasing attention from both biologists and computer scientists as a new type of data for phylogenetic analysis. Methods ...
ECAI
2004
Springer
14 years 28 days ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...