1860 search results - page 182 / 372 » A Temporal Logic of Robustness |
117
click to vote
QEST
2005
IEEE
15 years 6 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
104
Voted
RE
2001
Springer
15 years 5 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
120
Voted
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
115
Voted
VLDB
2002
ACM
15 years 21 days ago
2002
ACM
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
133
Voted
SIGMOD
2009
ACM
15 years 8 months ago
2009
ACM
On script-generated web sites, many documents share common HTML tree structure, allowing wrappers to effectively extract information of interest. Of course, the scripts and thus ...