4460 search results - page 310 / 892 » Formal methods for interactive systems |
171
click to vote
FMSD
2006
15 years 6 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
161
Voted
CHI
2004
ACM
16 years 7 months ago
2004
ACM
We present a set of interaction techniques that make novel use of a small pressure-sensitive pad to allow one-handed direct control of a large number of parameters. The surface of...
142
click to vote
HAID
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, recent developments of the HFVE vision-substitution system are described; and the initial results of a trial of the “Silooet” software are reported. The system u...
163
click to vote
CANDC
2007
ACM
15 years 10 months ago
2007
ACM
Collaborative creativity is traditionally supported by formal techniques, such as brainstorming. These techniques improve the idea-generation process by creating group synergies, ...
165
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...