5904 search results - page 864 / 1181 » Requirements for a Composition Language |
122
click to vote
TIME
2000
IEEE
15 years 8 months ago
2000
IEEE
Medical therapy planning shares a number of properties of project management. It is, however, different in a few very important aspects — most notably, the more complex notion o...
121
click to vote
IUI
2000
ACM
15 years 8 months ago
2000
ACM
Prior research into embodied interface agents has found that users like them and find them engaging. In this paper, we argue that embodiment can serve an even stronger function if...
112
click to vote
AES
2000
Springer
15 years 8 months ago
2000
Springer
We present a method for finding efficient instruction sequences for the Serpent S-boxes. Current implementations need many registers to store temporary variables, yet the common ...
132
click to vote
APN
2000
Springer
15 years 8 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
127
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...