3718 search results - page 536 / 744 » IMPS: System Description |
183
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
143
click to vote
CBMS
2000
IEEE
15 years 11 months ago
2000
IEEE
We are building a biomedical information resource consisting of digitized x-ray images and associated textual data from national health surveys. This resource, the Web-based Medic...
199
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
The process of managing inconsistency is a fundamental activity that permeates a large part of the systems development process. Failure to identify inconsistencies may lead to maj...
199
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
181
click to vote
IUI
1997
ACM
15 years 10 months ago
1997
ACM
Historically, efforts at user modelling in educational systems have tended to employ knowledge representations in which symbolic (or "linguistic") cognition is emphasize...