1699 search results - page 277 / 340 » On the Expressive Power of QLTL |
167
click to vote
MIDDLEWARE
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents an architectural framework for customizing Object Request Broker (ORB) implementations to application-specific preferences for various non-functional requiremen...
183
click to vote
SIGGRAPH
2000
ACM
15 years 9 months ago
2000
ACM
Pose space deformation generalizes and improves upon both shape interpolation and common skeleton-driven deformation techniques. This deformation approach proceeds from the observ...
133
click to vote
KDD
1995
ACM
15 years 9 months ago
1995
ACM
The quest to nd models usefully characterizing data is a process central to the scienti c method, and has been carried out on many fronts. Researchers from an expanding number of ...
153
click to vote
VLDB
1995
ACM
15 years 9 months ago
1995
ACM
We present a shape definition language, called SDC, for retrieving objects based on shapes contained in the histories associated with these objects. It is a small, yet powerful, l...
172
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...