6308 search results - page 1170 / 1262 » Modeling Urgency in Timed Systems |
134
click to vote
SLP
1994
15 years 5 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
121
click to vote
AIPS
2009
15 years 5 months ago
2009
Nowadays many urban areas have been equipped with networks of surveillance cameras, which can be used for automatic localization and tracking of people. However, given the large r...
134
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we study, for the first time explicitly, the implications of endowing an interested party (i.e. a teacher) with the ability to modify the underlying dynamics of the ...
158
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Until recently, computational aspects of the Shapley value were only studied under the assumption that there are no externalities from coalition formation, i.e., that the...
152
Voted
DBSEC
2009
15 years 5 months ago
2009
Abstract. We present a new access control mechanism for P2P networks with distributed enforcement, called P2P Access Control System (PACS). PACS enforces powerful access control mo...