2364 search results - page 178 / 473 » An Engine for Computing Well-Founded Models |
162
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
127
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
120
click to vote
SOFSEM
2004
Springer
15 years 10 months ago
2004
Springer
Cooperation in information retrieval contexts can be used to share query results inside groups of individuals with common objectives, provided that all of them are aware of each ot...
123
Voted
HIPS
1998
IEEE
15 years 8 months ago
1998
IEEE
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...
152
Voted
SADM
2011
14 years 11 months ago
2011
Abstract: Visualizing data by graphing a response against certain factors, and conditioning on other factors, has arisen independently in many contexts. One is the interaction plot...