25156 search results - page 4716 / 5032 » Applications for conscious systems |
249
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 ...
146
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...
208
click to vote
BROADNETS
2006
IEEE
16 years 25 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...
194
click to vote
CCECE
2006
IEEE
16 years 25 days ago
2006
IEEE
Although many QoS management architectures have been recently introduced with a lot of advanced features, they have never been widely used in the existing applications due to the ...