6348 search results - page 826 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
162
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
172
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...
182
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
We have implemented a computer interface that renders synchronized auditory and haptic stimuli with very low (0.5ms) latency. The audio and haptic interface (AHI) includes a Panto...
168
click to vote
UIST
1999
ACM
15 years 11 months ago
1999
ACM
We present experimental work which explores how the match (or mismatch) between the input space of the hands and the output space of a graphical display influences twohanded input...
151
click to vote
APSEC
1997
IEEE
15 years 11 months ago
1997
IEEE
A task-type in concurrent programs is a template of task-instances which are dynamically generated in execution of the programs. The number of the generated taskinstances may not ...