6608 search results - page 1078 / 1322 » On the Completeness of Model Checking |
178
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
187
click to vote
APPROX
2010
Springer
15 years 8 months ago
2010
Springer
Broadcasting algorithms are important building blocks of distributed systems. In this work we investigate the typical performance of the classical and well-studied push model. Assu...
180
click to vote
SBBD
2004
15 years 8 months ago
2004
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...
180
click to vote
WSC
1997
15 years 8 months ago
1997
AutoStat™ is an extension package for AutoMod™ and AutoSched™ models that provides complete support for simulation model experimentation and statistical analysis of outputs....
192
click to vote
AI
2006
Springer
15 years 6 months ago
2006
Springer
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...