285 search results - page 6 / 57 » Relating two formal models of path-vector routing |
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
CAISE
2009
Springer
15 years 22 days ago
2009
Springer
Abstract. Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical probl...
105
click to vote
NCA
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
AIME
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated...
73
Voted
TFM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...