1121 search results - page 90 / 225 » Building Formal Requirements Models for Reliable Software |
119
click to vote
AVI
1996
15 years 1 months ago
1996
Visual interfaces to computer systems are interactive. The cycle of visual interaction involves both visual perception and action. This paper examines formal models of interactive...
SAC
2005
ACM
15 years 5 months ago
2005
ACM
In ubiquitous computing era, the notion of context-awareness will play an important role. An application should be aware of its operating context for supporting and enriching huma...
SEKE
2005
Springer
15 years 5 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
IUI
1993
ACM
15 years 4 months ago
1993
ACM
Researchers in the field of intelligent interfaces have concentrated on building architectures, and have placed little emphasis on defining appropriate models. As a result, this...
ICFP
2008
ACM
15 years 12 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...