2071 search results - page 391 / 415 » An Empirical Evaluation of LFG-DOP |
APN
2008
Springer
15 years 18 days ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
106
click to vote
EDBT
2010
ACM
15 years 18 days ago
2010
ACM
The availability of indoor positioning renders it possible to deploy location-based services in indoor spaces. Many such services will benefit from the efficient support for k n...
104
click to vote
ASPLOS
2008
ACM
15 years 18 days ago
2008
ACM
Parallel and concurrent garbage collectors are increasingly employed by managed runtime environments (MREs) to maintain scalability, as multi-core architectures and multi-threaded...
ATAL
2008
Springer
15 years 18 days ago
2008
Springer
This paper considers the problem of performing decentralised coordination of low-power embedded devices (as is required within many environmental sensing and surveillance applicat...
ATAL
2008
Springer
15 years 18 days ago
2008
Springer
We address the learning of trust based on past observations and context information. We argue that from the truster's point of view trust is best expressed as one of several ...