5401 search results - page 955 / 1081 » Using Versions in GIS |
112
Voted
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
142
Voted
IWANN
2009
Springer
15 years 9 months ago
2009
Springer
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...
109
Voted
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and ef...
136
Voted
COMPGEOM
2009
ACM
15 years 9 months ago
2009
ACM
Following recent work of Clarkson, we translate the coreset framework to the problems of finding the point closest to the origin inside a polytope, finding the shortest distance...
125
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...