Sciweavers

2542 search results - page 118 / 509
» An Operational Definition of Context
Sort
View
EH
2002
IEEE
108views Hardware» more  EH 2002»
15 years 11 months ago
We Need Assurance
When will we be secure? Nobody knows for sure – but it cannot happen before commercial security products and services possess not only enough functionality to satisfy customersâ...
Brian D. Snow
FOSSACS
2008
Springer
15 years 8 months ago
A Modal Deconstruction of Access Control Logics
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...
Deepak Garg, Martín Abadi
HCI
2007
15 years 8 months ago
Coupling Interaction Resources and Technical Support
Coupling is the action of binding two entities so that they can operate together to provide new functions. In this article, we propose a formal definition for coupling and present ...
Nicolas Barralon, Joëlle Coutaz, Christophe L...
212
Voted
NIPS
2008
15 years 8 months ago
Kernelized Sorting
Object matching is a fundamental operation in data analysis. It typically requires the definition of a similarity measure between the classes of objects to be matched. Instead, we...
Novi Quadrianto, Le Song, Alex J. Smola
SYRCODIS
2008
127views Database» more  SYRCODIS 2008»
15 years 8 months ago
On the Semantics of Updates in a Functional Language
Issues related to updating data in native XML database systems are studied extensively nowadays. In this work we consider a problem of updating typed XML documents having their sc...
Pavel Loupal