2672 search results - page 415 / 535 » Hybridizing Concept Languages |
IDEAS
2000
IEEE
14 years 1 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
TOOLS
2000
IEEE
14 years 1 months ago
2000
IEEE
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...
PLDI
2000
ACM
14 years 1 months ago
2000
ACM
Increasing focus on multimedia applications has prompted the addition of multimedia extensions to most existing general purpose microprocessors. This added functionality comes pri...
TPHOL
1999
IEEE
14 years 1 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
VLSID
1999
IEEE
14 years 1 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...