2498 search results - page 239 / 500 » A tool for materials exploration |
114
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes a project that was carried out by Philips Corporate Design (PCD) to explore ideas for products and services, which could be part of our future in the year 200...
184
click to vote
OOPSLA
1997
Springer
15 years 10 months ago
1997
Springer
Object relationships in modern software systems are becoming increasingly numerous and complex. Programmers who try to find violations of such relationships need new tools that al...
146
click to vote
CHI
1993
ACM
15 years 10 months ago
1993
ACM
A software tool called EXPLAINER has been developed for helping programmers perform new tasks by exploring previously worked-out examples. EXPLAINER is based on cognitive principl...
169
click to vote
ICTAI
1997
IEEE
15 years 10 months ago
1997
IEEE
Knowledge refinement tools have commonly been applied to diagnostic applications. This paper considers the refinement of a design application. It explores the differences in knowl...
195
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...