1699 search results - page 195 / 340 » On the Expressive Power of QLTL |
153
click to vote
ICWE
2007
Springer
16 years 19 days ago
2007
Springer
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...
178
click to vote
KI
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
174
click to vote
OTM
2007
Springer
16 years 18 days ago
2007
Springer
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...
175
click to vote
RULEML
2007
Springer
16 years 18 days ago
2007
Springer
The SWRLTab is a development environment for working with SWRL rules in Protégé-OWL. It supports the editing and execution of SWRL rules. It also provides mechanisms to allow int...
167
click to vote
VMCAI
2007
Springer
16 years 18 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...