Intrusion detection (ID) is one of network security engineers' most important tasks. Textual (command-line) and visual interfaces are two common modalities used to support en...
Ramona Su Thompson, Esa M. Rantanen, William Yurci...
This paper introduces a design technique for complex robotic systems called interfaces- rst design. Interfaces- rst design develops information interfaces based on the characteris...
Gerardo Pardo-Castellote, Stanley A. Schneider, Ro...
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...
Jan Van den Bergh, Mieke Haesen, Kris Luyten, Sofi...
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...