1864 search results - page 8 / 373 » Formal topology and domains |
JBCB
2006
14 years 9 months ago
2006
ER
2005
Springer
15 years 2 months ago
2005
Springer
Measuring semantic similarity among concepts is the core method for assessing the degree of semantic interoperability within and between ontologies. In this paper, we propose to ex...
SFM
2005
Springer
15 years 2 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
IFM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...