1699 search results - page 90 / 340 » On the Expressive Power of QLTL |
106
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Continuation-based Web servers provide advantages over traditional Web application development through the increase of expressive power they allow. This leads to fewer errors and ...
109
click to vote
TCS
2010
14 years 11 months ago
2010
Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical consistency easily. This paper focus...
127
click to vote
DLOG
2010
14 years 10 months ago
2010
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
104
click to vote
ADBIS
2009
Springer
14 years 10 months ago
2009
Springer
We consider the problem of selecting views and indexes that minimize the evaluation costs of the important queries under an upper bound on the disk space available for storing the ...
111
Voted
TIT
2011
14 years 7 months ago
2011
A multi-hop relaying system is analyzed where data sent by a multi-antenna source is relayed by successive multi-antenna relays until it reaches a multi-antenna destination. Assum...