2016 search results - page 275 / 404 » Tool Support for Ontology Engineering |
145
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of spec...
170
click to vote
EUROMICRO
1996
IEEE
15 years 10 months ago
1996
IEEE
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...
149
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
192
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we present our Mediamill video search engine. The basis for the engine is a semantic indexing process which derives a lexicon of 101 concepts. To support the user in ...
154
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...