700 search results - page 66 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
127
click to vote
IUI
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
122
click to vote
DARE
2000
15 years 2 months ago
2000
In User Centred Design, the integration of knowledge of users work practice, preferences etc. into the design process is crucial to success. For this reason, video recording has b...
119
click to vote
MBUI
2004
15 years 2 months ago
2004
In this paper, we present our perspective on Model-Based User Interfaces (hereafter MBUI) paradigm and provide with our experience in this area combining high-level knowledge-base...
112
click to vote
TMRA
2005
Springer
15 years 7 months ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
123
click to vote
FMCO
2007
Springer
15 years 7 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...