79 search results - page 13 / 16 » Representing and Reasoning about Web Access Control Policies |
WWW
2004
ACM
16 years 8 days ago
2004
ACM
Multimodal interfaces are becoming increasingly ubiquitous with the advent of mobile devices, accessibility considerations, and novel software technologies that combine diverse in...
186
click to vote
GIS
2007
ACM
16 years 20 days ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
112
click to vote
WWW
2005
ACM
16 years 8 days ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
ESOP
2004
Springer
15 years 5 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
PPDP
2010
Springer
14 years 9 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...