7393 search results - page 1452 / 1479 » Synthesis-for-testability using transformations |
TACAS
1998
Springer
15 years 1 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...
SIGMOD
1997
ACM
15 years 1 months ago
1997
ACM
The Distributed Information Search COmponent (Disco) is a prototype heterogeneous distributed database that accesses underlying data sources. The Disco prototype currently focuses...
79
Voted
CVRMED
1997
Springer
15 years 1 months ago
1997
Springer
During the past year our group has been developing HipNav, a system which helps surgeons determine optimal, patient-specific acetabular implant placement and accurately achieve the...
KDD
1997
ACM
15 years 1 months ago
1997
ACM
Thereis a wealthof informationto be minedfromnarrative text on the WorldWideWeb.Unfortunately, standard natural language processing (NLP)extraction techniques expect full, grammat...
IWSSD
1993
IEEE
15 years 1 months ago
1993
IEEE
We are developing tools to support a conversational metaphor for requirements definition and analysis. Our conversational model consists of three components: (1) a hypertextual re...