1864 search results - page 120 / 373 » Formal topology and domains |
156
click to vote
GIS
1995
ACM
15 years 10 months ago
1995
ACM
We stress the importance of requirements engineering (RE) for the development of large scale software in general and for GIS-applications in particular. RE analyses the problem do...
182
click to vote
EURONGI
2008
Springer
15 years 8 months ago
2008
Springer
Current mobility management systems are operator centralized, and focused on single link technologies. In heterogeneous wireless mesh networks, vertical handovers could be a length...
193
click to vote
COMCOM
2007
15 years 6 months ago
2007
Dense wavelength division multiplexing (DWDM) has become the dominant transport layer technology for next-generation backbone networks due to its unprecedented capacity scalabilit...
154
click to vote
LMCS
2006
15 years 6 months ago
2006
tract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same...
171
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...