855 search results - page 74 / 171 » Using First-Order Logic to Reason about Policies |
118
Voted
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
162
Voted
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
141
Voted
IEEESP
2010
15 years 2 months ago
2010
Abstract—Private data of individuals is constantly being collected, analyzed, and stored by different kinds of organizations: shopping sites to provide better service and recomme...
124
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
144
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...