3006 search results - page 124 / 602 » Overview |
128
click to vote
ECOOPW
2001
Springer
15 years 7 months ago
2001
Springer
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
120
click to vote
ICCS
2001
Springer
15 years 7 months ago
2001
Springer
This paper presents a system for generating user tailored evaluative arguments, known as the Generator of Evaluative Arguments (GEA). GEA design is based on a pipelined architectur...
137
Voted
PACT
2001
Springer
15 years 7 months ago
2001
Springer
UNICORE (UNiform Interface to COmputer REsources) provides a seamless and secure access to distributed supercomputer resources. This paper will give an overview of the its architec...
106
click to vote
PFE
2001
Springer
15 years 7 months ago
2001
Springer
This report gives an overview of the session on product issues of the 4th International Workshop on Product Family Engineering. It briefly sketches the issues presented in the tech...
115
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper gives an overview of the different tools, needed for accomplishing optimal IC manufacturability and rapid technology learning during the successive phases of process ma...