5639 search results - page 764 / 1128 » Timed Abstract Non-interference |
122
click to vote
SAGT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In game theory, a player’s action is said to be weakly dominated if there exists another action that, with respect to what the other players do, is never worse and some...
151
click to vote
SDMW
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Database provenance chronicles the history of updates and modifications to data, and has received much attention due to its central role in scientific data management. ...
107
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. For some years now ontologies have been used in Social Science, e.g. , in annotation of newspaper articles for disambiguating concepts within Media Analysis. These ontolo...
158
click to vote
SG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Volume datasets have been a primary representation for scientific visualization with the advent of rendering algorithms such as marching cubes and ray casting. Nonethele...
135
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...