1699 search results - page 201 / 340 » On the Expressive Power of QLTL |
148
click to vote
RTA
2004
Springer
15 years 11 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
162
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
This demonstration shows an integrated query processing environment where users can seamlessly query both a data stream management system and a sensor network with one query expre...
194
click to vote
LAWEB
2003
IEEE
15 years 11 months ago
2003
IEEE
In this article we present a method for the design and implementation of Web Applications for the Semantic Web. Based on the "Object Oriented Hypermedia Design Method" a...
166
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
Shadow mapping is a technique for doing real-time shadowing. Recent work has shown that shadow mapping hardware can be used as a second depth test in addition to the z-test. In th...
165
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...