25175 search results - page 4722 / 5035 » MPEG-4 systems and applications |
206
click to vote
OTM
2007
Springer
16 years 28 days ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
252
click to vote
VLDB
2007
ACM
16 years 27 days ago
2007
ACM
This tutorial presents the definition, the models and the techniques of location privacy from the data privacy perspective. By reviewing and revising the state of art research in ...
148
click to vote
VMCAI
2007
Springer
16 years 27 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
168
click to vote
VMCAI
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
210
click to vote
BROADNETS
2006
IEEE
16 years 26 days ago
2006
IEEE
— Advance reservation is a mechanism to guarantee the availability of resources when they are needed. In the context of LambdaGrid, this mechanism is used to provide data-intensi...