2043 search results - page 339 / 409 » Reasoning About Security Models |
122
click to vote
PPOPP
2011
ACM
14 years 3 months ago
2011
ACM
Developing parallel software using current tools can be challenging. Even experts find it difficult to reason about the use of locks and often accidentally introduce race condit...
112
Voted
AAAI
2011
14 years 18 days ago
2011
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
139
click to vote
ECSA
2011
Springer
14 years 11 days ago
2011
Springer
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...
122
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
We consider the task of creating a 3-d model of a large novel environment, given only a small number of images of the scene. This is a difficult problem, because if the images are...
121
Voted
CSL
2009
Springer
15 years 4 months ago
2009
Springer
My talk will be a survey of recent results about the quest for a logic capturing polynomial time. In a fundamental study of database query languages, Chandra and Harel [4] first ra...