143 search results - page 3 / 29 » Inherent Causal Orderings of Partial Order Scenarios |
PDP
2006
IEEE
13 years 11 months ago
2006
IEEE
Highly interactive collaborative applications need to offer each user a consistent view of the interactions represented by the streams exchanged between dispersed groups of users....
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
In message-passing parallel applications, messages are not delivered in a strict order. In most applications, the computation results and the set of messages produced during the e...
IDEAS
2006
IEEE
13 years 11 months ago
2006
IEEE
Unlike numerical preferences, preferences on attribute values do not show an inherent total order, but skyline computation has to rely on partial orderings explicitly stated by th...
SAM
2004
13 years 6 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
ENTCS
2006
13 years 5 months ago
2006
Partially Ordered Symbolic Automata (POSAs) are used as the semantical foundation of visual formalisms like the scenario based language of Live Sequence Charts (LSCs). To check whe...