5434 search results - page 24 / 1087 » Tool support for MOLA |
DGO
2006
14 years 10 days ago
2006
This demonstration shows a prototype tool that projects an impression of how execution of a formally defined process will facilitate dispute resolution. Tool flexibility supports ...
PDSE
1998
14 years 9 days ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
BIRTHDAY
2011
Springer
12 years 11 months ago
2011
Springer
The Web Ontology Language (OWL) has been developed and standardised by the World Wide Web Consortium (W3C). It is one of the key technologies underpinning the Semantic Web, but its...
IUI
2012
ACM
12 years 6 months ago
2012
ACM
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
ICALT
2007
IEEE
14 years 5 months ago
2007
IEEE
Creativity plays an important role in many learning activities but how to enhance creativity with the support of modern computer tools deserves further studies. In this paper, we ...