217 search results - page 23 / 44 » Display Calculi for Logics with Relative Accessibility Relat... |
ESORICS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
OTM
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents a context-based awareness mechanism designed for users who access web-based collaborative systems using mobile devices. The limited capabilities of such devices...
ADC
2006
Springer
14 years 1 months ago
2006
Springer
The World Wide Web revolutionized the use of forms in everyday private and business life by allowing a move away from paper forms to easily accessible digital forms. Data captured...
CIKM
2006
Springer
13 years 11 months ago
2006
Springer
Skyline queries compute the set of Pareto-optimal tuples in a relation, i.e., those tuples that are not dominated by any other tuple in the same relation. Although several algorit...