1326 search results - page 70 / 266 » Semantic Coherence in Software Engineering |
96
Voted
LREC
2008
15 years 5 months ago
2008
The Semantic Web of the future will be characterized by using a very large number of ontologies embedded in ontology networks. It is important to provide strong methodological sup...
142
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
121
click to vote
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
In this paper, we present a general architecture and a new retrieval method for an educational system that is based on a knowledge base of existing recorded lectures. The extracti...
153
Voted
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
131
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...