659 search results - page 71 / 132 » Using formal models to design user interfaces: a case study |
QEST
2009
IEEE
14 years 3 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
MOBICOM
2006
ACM
14 years 2 months ago
2006
ACM
Abstract-The emergence of small, inexpensive, networkcapable sensing devices led to a great deal of research on the design and implementation of sensor networks. A critical step in...
EDBT
2010
ACM
14 years 1 hour ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
ACMDIS
2000
ACM
14 years 1 months ago
2000
ACM
In real world development environments where deadlines are fixed, a designer must craft a process that works with the team and within the constraints of a project. The traditional...
ECMDAFA
2009
Springer
14 years 3 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...