4460 search results - page 102 / 892 » Formal methods for interactive systems |
HCI
2009
14 years 7 months ago
2009
Logistics is a dynamic and heterogeneous application area for wearable computing. In this paper, wearable computing technologies are examined as basis for a support system for mobi...
FORMATS
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
DSVIS
1995
Springer
15 years 1 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
IUI
1997
ACM
15 years 2 months ago
1997
ACM
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...