1129 search results - page 91 / 226 » Formal Verification of Websites |
168
click to vote
HF
2007
2007
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
15 years 6 months ago
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
177
click to vote
COMPSEC
2004
15 years 6 months ago
2004
Traditionally, creation and revocation of certificates are governed by policies that are carried manually, off-line, by trusted agents. This approach to certificate management is ...
193
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicab...
171
click to vote
FDBS
2001
15 years 7 months ago
2001
Integrating data sources is a general problem in many scenarios. The main problem is the heterogeneity between data sources which were created and developed separately. In the lit...
191
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...