4109 search results - page 205 / 822 » User Interface Software Tools |
EUROMICRO
2004
IEEE
15 years 3 months ago
2004
IEEE
A contemporary office or knowledge worker has to deal with an ever increasing number of information channels and associated flows of events (i.e., software applications using vary...
CIIA
2009
15 years 20 days ago
2009
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
DepAnn is an interactive annotation tool for dependency treebanks, providing both graphical and text-based annotation interfaces. The tool is aimed for semi-automatic creation of t...
CHI
2006
ACM
15 years 12 months ago
2006
ACM
In this paper we describe the development and initial testing of a tool for self-assessment of affect while interacting with computer systems: the Sensual Evaluation Instrument. W...
TACAS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...