337 search results - page 15 / 68 » A Design Toolkit for Hypermedia Applications |
ICSE
2001
IEEE-ACM
14 years 5 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...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Methodologies for the engineering of Web applications typically provide models that drive the generation of the hypermedia navigation structure in the application. Most o...
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...
COOTS
1998
13 years 9 months ago
1998
The Web frequently suffers from failures which affect the performance and consistency of applications run over it. An important fault-tolerance technique is the use of atomic tran...