1864 search results - page 110 / 373 » Formal topology and domains |
158
click to vote
DGO
2003
15 years 7 months ago
2003
Research advances in geospatial automated image analysis tools and feature extraction algorithms have matured in recent times to levels of practical applicability. The consolidati...
181
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
188
click to vote
AIMS
2007
Springer
16 years 17 days ago
2007
Springer
This paper proposes an optimization method for the design of large scale confederation based BGP networks. We propose a graph based model and an associated metric to evaluate the r...
180
click to vote
IEEEARES
2006
IEEE
16 years 13 days ago
2006
IEEE
Mobile ad-hoc networks with their arbitrary topologies are a difficult domain for providing highly available Web services. Since hosts can move unpredictably, finding services a...
140
click to vote
APAL
2010
15 years 6 months ago
2010
We investigate computability theoretic and topological properties of spaces of orders on computable orderable groups. A left order on a group G is a linear order of the domain of ...