8627 search results - page 442 / 1726 » Software Engineering Using RATionale |
148
click to vote
TAPSOFT
1995
Springer
15 years 10 months ago
1995
Springer
We develop an imperative calculus of objects that is both tiny and expressive. Our calculus provides a minimal setting in which to study the operational semantics and the typing r...
170
click to vote
AVI
2008
15 years 9 months ago
2008
To make sense from large amounts of movement data (sequences of positions of moving objects), a human analyst needs interactive visual displays enhanced with database operations a...
203
click to vote
AVI
2008
15 years 9 months ago
2008
In this paper we discuss the problem of deploying appliances for interactive services in complex physical environments using a knowledge based approach to define the relations bet...
182
Voted
AVI
2006
15 years 8 months ago
2006
Although computer mice have evolved physically (i.e., new form factors, multiple buttons, scrollwheels), their basic metaphor remains the same: a single-point of interaction, with...
157
click to vote
AAAI
2000
15 years 8 months ago
2000
The mobile robot programming problem is a software engineering challenge that is not easily conquered using contemporary software engineering best practices. We propose robot obse...