8627 search results - page 438 / 1726 » Software Engineering Using RATionale |
167
click to vote
AMAST
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...
148
click to vote
UIST
1996
ACM
15 years 11 months ago
1996
ACM
We describe a PostScript viewer that provides navigation and annotation functionality similar to that of paper documents using simple unified user-interface techniques.
185
click to vote
PEPM
1997
ACM
15 years 11 months ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
149
click to vote
CODES
1994
IEEE
15 years 11 months ago
1994
IEEE
We present a prototyping environment with special benefit for hardware/software codesign which we use as target architecture in the COBRA project1 . This architecture is very flex...
179
click to vote
FSTTCS
1994
Springer
15 years 11 months ago
1994
Springer
We review the past ten years in computational complexity theory by focusing on ten theorems that the author enjoyed the most. We use each of the theorems as a springboard to discus...