407 search results - page 13 / 82 » Toolkits and interface creativity |
SPIN
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
GROUP
2003
ACM
14 years 28 days ago
2003
ACM
Group awareness is an important part of synchronous collaboration, and support for group awareness can greatly improve groupware usability. However, it is still difficult to build...
ICSE
2001
IEEE-ACM
14 years 4 days ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
AVI
2010
13 years 9 months ago
2010
When creating applications that should be available on multiple computing platforms, designers have to cope with different design tools and user interface toolkits. Incompatibilit...
ICCS
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. The Grid Modeling and Simulation (GridSim) toolkit provides a comprehensive facility for simulation of application scheduling in different Grid computing environments. H...