2227 search results - page 198 / 446 » Reversibility and Models for Concurrency |
188
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
Authorization infrastructures manage privileges and render access control decisions, allowing applications to adjust their behavior according to the privileges allocated to users....
144
click to vote
CONCURRENCY
2007
15 years 6 months ago
2007
In this paper we present JaMP, an adaptation of the OpenMP standard. JaMP is fitted to Jackal, a software-based DSM implementation for Java. While the set of supported directives...
146
click to vote
CONCURRENCY
2007
15 years 6 months ago
2007
We here present and evaluate relative accounting, an autonomous accounting scheme that provides accurate results even when the parties (consumer and provider) do not trust each ot...
164
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. This paper presents a novel framework for detecting abnormal pedestrian and vehicle behaviour by modelling cross-correlation among different co-occurring objects both loc...
194
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...