1976 search results - page 229 / 396 » Application Semiotics Engineering Process |
MODELS
2009
Springer
14 years 4 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
ACMSE
2005
ACM
14 years 3 months ago
2005
ACM
As the field of human-computer interaction matures, the need for proven, dependable engineering processes for interface development becomes apparent. Our continuing work in develo...
IUI
2005
ACM
14 years 3 months ago
2005
ACM
In order for intelligent systems to be applicable in a wide range of situations, end users must be able to modify their task descriptions. We introduce Tailor, a system that allow...
IUI
2004
ACM
14 years 3 months ago
2004
ACM
Layout refers to the process of determining the size and position of the visual objects in an information presentation. We introduce the WeightMap, a bitmap representation of the ...
WOSP
2004
ACM
14 years 3 months ago
2004
ACM
The simulated evaluation of memory management policies relies on reference traces—logs of memory operations performed by running processes. No existing approach to reference tra...