4460 search results - page 231 / 892 » Formal methods for interactive systems |
129
click to vote
MHCI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we describe a new method and user interface for interactive positioning of a mobile device. The key element of this method is a questionanswer style dialogu...
176
click to vote
CSFW
2012
IEEE
13 years 7 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
201
click to vote
INFSOF
2006
15 years 5 months ago
2006
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
143
Voted
ER
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a design method for user interfaces based on some ideas from conversation analysis. The method uses interaction diagram and it is conceived to design all flow ...
139
click to vote
TYPES
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...