3256 search results - page 409 / 652 » Applications of Formal Methods to System Design and Verifica... |
195
click to vote
VIS
2008
IEEE
16 years 7 months ago
2008
IEEE
Professional designers and artists are quite cognizant of the rules that guide the design of effective color palettes, from both aesthetic and attention-guiding points of view. In ...
154
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...
183
click to vote
SAS
2005
Springer
16 years 1 days ago
2005
Springer
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
163
click to vote
IUI
2005
ACM
16 years 4 days 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...
527
click to vote
IJMI
2010
15 years 5 months ago
2010
The integration of Software Engineering (SE) and Human-Computer Interaction (HCI) methods and models is an interesting means for modelling an organization's activities, with ...