1269 search results - page 124 / 254 » Pi-Calculus in Logical Form |
97
Voted
ER
2000
Springer
15 years 4 months ago
2000
Springer
Taxonomies are an important part of conceptual modeling. They provide substantial structural information, and are typically the key elements in integration eorts, however there ha...
ICCS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Conceptual graphs (CGs) share with FOL a fundamental expressiveness limitation: only higher-order logics allow assertions of properties on predicates. This paper intends ...
107
Voted
EXACT
2008
15 years 3 months ago
2008
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
108
Voted
DAS
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents a framework for understanding tables of contents (TOC) of books, journals, and magazines. We propose a universal logical structure representation in terms of a...
IM
2007
15 years 2 months ago
2007
A widely-distributed network monitoring system requires a scalable discovery mechanism. The “Lookup Service” component of the perfSONAR framework is able to manage component r...