4546 search results - page 716 / 910 » Data Management in the APPA System |
168
click to vote
MSWIM
2006
ACM
16 years 15 days ago
2006
ACM
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
165
click to vote
DSVIS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
178
click to vote
ICDCS
1995
IEEE
15 years 10 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
165
click to vote
FLAIRS
2003
15 years 8 months ago
2003
We report on our on-going effort to build an adaptive driver support system, Driver AdvocateTM , merging various AI techniques, in particular, agents, ontology, production systems...
168
click to vote
TPDS
2008
15 years 6 months ago
2008
We present the Network File System with Cluster Delegation (NFS-CD), an enhancement to the NFSv4 that reduces server load and increases the scalability of distributed file systems ...