2016 search results - page 259 / 404 » Tool Support for Ontology Engineering |
180
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
154
click to vote
PKDD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract: In this demonstration we introduce a technology to support knowledge structuring processes already at the time of their creation by building up concept structures in real...
156
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
The play-in/play-out approach is a method for specifying and developing complex reactive systems. It is built upon a scenariobased philosophy, and uses the language of live sequenc...
155
click to vote
IADIS
2003
15 years 7 months ago
2003
In this paper we present an integrated approach to the development of Complex Web Applications. The principal philosophy of the development is to support simplicity, consistency, ...
177
click to vote
WOA
2001
15 years 7 months ago
2001
Abstract--In the network-centric computing era, applications often involve sets of autonomous, unpredictable, and possibly mobile entities interacting within open, dynamic, and pos...