Sciweavers

2005 search results - page 177 / 401
» Business Process Knowledge Modelling: Method and Tool
Sort
View
WWW
2009
ACM
16 years 4 months ago
Web service derivatives
Web service development and usage has shifted from simple information processing services to high-value business services that are crucial to productivity and success. In order to...
Thomas Meinl, Benjamin Blau
DSVIS
1998
Springer
15 years 8 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
CORR
2008
Springer
144views Education» more  CORR 2008»
15 years 4 months ago
Modular Compilation of a Synchronous Language
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
Annie Ressouche, Daniel Gaffé, Valér...
SEMWEB
2009
Springer
15 years 10 months ago
Graph-Based Ontology Construction from Heterogenous Evidences
Abstract. Ontologies are tools for describing and structuring knowledge, with many applications in searching and analyzing complex knowledge bases. Since building them manually is ...
Christoph Böhm, Philip Groth, Ulf Leser
MTSR
2007
Springer
15 years 10 months ago
Using Agricultural Ontologies
Despite the growing number of ontologies online available, their range of application in real world projects is comparatively limited. This paper describes the construction of an o...
Michael T. Maliappis