15778 search results - page 443 / 3156 » Aikido and software engineering |
250
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
Prospects for research in theoretical computer science are discussed. The maintenance of a genuine link between theory and practice is seen as key to the future health of both.
115
click to vote
FSTTCS
1993
Springer
15 years 11 months ago
1993
Springer
X;R ;R R R X X R R 1 2 1 2 1 1 2 1 2 2 1 2
161
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
164
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J