5718 search results - page 1039 / 1144 » Modeling Rule Precision |
199
click to vote
PAAMS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract One of the most significant paradigm shifts of modern business management is that individual businesses no longer compete as autonomous entities but rather as supply chain...
208
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
168
click to vote
DMIN
2009
15 years 4 months ago
2009
In this paper, data mining techniques are used to analyze data gathered from online poker. The study focuses on short-handed Texas Hold'em, and the data sets used contain thou...
157
click to vote
ICOODB
2009
15 years 4 months ago
2009
ConceptBase is a deductive object-oriented database system intended for the management of metadata. A distinguishing feature of the Telos language underlying ConceptBase is the abi...
187
click to vote
CACM
2010
15 years 3 months ago
2010
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...