2250 search results - page 219 / 450 » Interactive Explanation of Software Systems |
131
click to vote
CASES
2009
ACM
15 years 8 months ago
2009
ACM
2's complement number system imposes a fundamental limitation on the power and performance of arithmetic circuits, due to the fundamental need of cross-datapath carry propaga...
129
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes SmartCanvas, an intelligent desk system that allows a user to perform freehand drawing on a desk or similar surface with gestures. Our system requires one cam...
115
click to vote
RE
2004
Springer
15 years 9 months ago
2004
Springer
We present a method to identify stakeholders and their preferences about non-functional requirements (NFR) by using use case diagrams of existing systems. We focus on the changes ...
117
click to vote
TACS
1997
Springer
15 years 8 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
123
click to vote
COLING
1996
15 years 5 months ago
1996
We. are going to describe the design and implementatior, of a connnuniealion system l.or large AI projects, capable of supporting various software components in a heterogeneous ha...