10707 search results - page 1845 / 2142 » Designing executable abstractions |
191
click to vote
CONCUR
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
168
click to vote
CRYPTO
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We introduce a compact and efficient representation of elements of the algebraic torus. This allows us to design a new discretelog based public-key system achieving the o...
194
click to vote
DFG
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
174
click to vote
DIAGRAMS
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We conducted an eye-tracking study of mechanical problem solving from cross-sectional diagrams of devices. Response time, accuracy and eye movement data were collected an...
205
click to vote
E4MAS
2004
Springer
16 years 18 days ago
2004
Springer
Models and conceptualizations are necessary to understand and design ubiquitous systems that are context–aware not just from a technological point of view. The current technologi...