1636 search results - page 117 / 328 » Type-Theoretic Functional Semantics |
126
Voted
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
137
Voted
ESWS
2006
Springer
15 years 7 months ago
2006
Springer
A key argument for modeling knowledge in ontologies is the easy re-use and re-engineering of the knowledge. However, beside consistency checking, current ontology engineering tools...
155
Voted
CCGRID
2005
IEEE
15 years 5 months ago
2005
IEEE
Given the heterogeneous nature of biological data and their intensive use in many tools, in this paper we propose a semantic data access and integration (DAI) service, based on th...
141
Voted
ESWS
2008
Springer
2008
Springer
Building a National Semantic Web Ontology and Ontology Service Infrastructure -The FinnONTO Approach
15 years 5 months ago
Abstract. This paper presents the vision and results of creating a national level cross-domain ontology and ontology service infrastructure in Finland. The novelty of the infrastru...
135
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...