1699 search results - page 199 / 340 » On the Expressive Power of QLTL |
145
click to vote
IFL
2005
Springer
15 years 12 months ago
2005
Springer
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
154
click to vote
SACMAT
2004
ACM
15 years 12 months ago
2004
ACM
We describe a layered approach to access control for distributed and interoperable computing systems. Firstly, compound access control policies are conceptually specified, using ...
194
click to vote
CBSE
2004
Springer
15 years 12 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
165
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
165
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we develop a novel Web Usage Manipulation Language (WUML) which is a declarative language for manipulating Web log data. We assume that a set of trails formed by use...