2864 search results - page 334 / 573 » Geo Linked Data |
111
click to vote
EUROPAR
2007
Springer
15 years 9 months ago
2007
Springer
In many network applications the computation takes place on the minimum-cost spanning tree (MST) of the network; unfortunately, a single link or node failure disconnects the tree. ...
136
click to vote
GIR
2007
ACM
15 years 9 months ago
2007
ACM
In this paper, we present our preliminary work on a Geographic Information Retrieval (GIR) system that utilizes loosely coupled web services and Google EarthTM (GE) to retrieve, e...
116
Voted
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
159
click to vote
COMPLIFE
2006
Springer
15 years 8 months ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
162
click to vote
ECRTS
2006
IEEE
15 years 8 months ago
2006
IEEE
We consider coordinating accesses to shared data structures in multiprocessor real-time systems scheduled under preemptive global EDF. To our knowledge, prior work on global EDF h...