1797 search results - page 320 / 360 » Real-World Graphical User Interfaces |
GW
2005
Springer
14 years 28 days ago
2005
Springer
This work proposes a new way for providing feedback to expressivity in music performance. Starting from studies on the expressivity of music performance we developed a system in wh...
IFM
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
TACAS
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
ICSM
2003
IEEE
14 years 20 days ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
ISIPTA
2003
IEEE
14 years 20 days ago
2003
IEEE
The nature of much information available to decision makers is vague and imprecise, be it information for human managers in organisations or for process agents in a distributed co...