1580 search results - page 225 / 316 » CoTeSys - Cognition for Technical Systems |
135
click to vote
SIGADA
1998
Springer
15 years 10 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
185
click to vote
WEBDB
1998
Springer
15 years 10 months ago
1998
Springer
Semistructured graph-based databases have been proposed as well-suited stores for World-Wide Web data. Yet so far, languages for querying such data are too complex for casual Web ...
146
click to vote
COCO
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we design a nonadaptive NC checker for permutation group intersection, sharpening a result from Blum and Kannan 3]. This is a consequence of two results. First we sh...
133
click to vote
CHI
1992
ACM
15 years 10 months ago
1992
ACM
We studied CAD system users to find out how they use the sophisticated customization and extension facilities offered by many CAD products. We found that users of varying levels o...
152
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...