14331 search results - page 2705 / 2867 » On the modeling and analysis of obligations |
232
click to vote
MM
2005
ACM
16 years 21 days ago
2005
ACM
This paper presents a novel object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods, the proposed method does not require...
256
click to vote
SIGECOM
2005
ACM
16 years 21 days ago
2005
ACM
This paper concerns the design of mechanisms for online scheduling in which agents bid for access to a re-usable resource such as processor time or wireless network access. Each a...
196
click to vote
SIGMETRICS
2005
ACM
16 years 21 days ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
197
click to vote
SMA
2005
ACM
16 years 21 days ago
2005
ACM
Nef polyhedra in d-dimensional space are the closure of half-spaces under boolean set operation. In consequence, they can represent non-manifold situations, open and closed sets, ...
180
click to vote
CHARME
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...