13026 search results - page 312 / 2606 » Probabilistic Relational Models |
161
click to vote
ENTCS
2006
15 years 4 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
163
click to vote
IJNSEC
2008
15 years 4 months ago
2008
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
154
click to vote
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
317
click to vote
SIGMOD
2002
ACM
16 years 4 months ago
2002
ACM
XML is quickly becoming the de facto standard for data exchange over the Internet. This is creating a new set of data management requirements involving XML, such as the need to st...
235
click to vote
ICDE
1995
IEEE
16 years 5 months ago
1995
IEEE
The model of flexible relations supports heterogeneous sets of tuples in a strongly typed way. The elegance of the standard relational model is preserved by using a single, generi...