4447 search results - page 408 / 890 » Model Checking Games |
163
Voted
EUMAS
2006
15 years 8 months ago
2006
To investigate the interdependencies existing among deontic positions (like powers and obligations) and the ontology defined by an institution, we have proposed to model instituti...
177
Voted
IAJIT
2008
15 years 7 months ago
2008
: In this paper a run-time model is proposed. The run-time model enforces integrity constraints for attributes that are derived from composition and inheritance hierarchies. The ru...
277
Voted
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— We present a novel algorithm to perform continuous collision detection(CCD) between non-rigid, deformable models using local advancement. Given the initial and final c...
212
Voted
CSFW
2005
IEEE
16 years 14 days ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...
172
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We consider the problem of Adverse Selection and optimal derivative design within a Principal-Agent framework. The principal’s income is exposed to non-hedgeable risk factors ar...