Sciweavers

855 search results - page 112 / 171
» Integration Testing of Composite Applications
Sort
View
ICSE
2001
IEEE-ACM
14 years 4 days ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
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...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
WSCG
2004
127views more  WSCG 2004»
13 years 9 months ago
Registration Tasks for a Hybrid Tracking System for Medical Augmented Reality
Tracking technologies for medical Virtual or Augmented Reality (VR/AR) applications have to fulfill demanding requirements. A hybrid tracking system can merge positive attributes ...
Bernd Schwald, Helmut Seibert
WWW
2007
ACM
14 years 8 months ago
Supporting end-users in the creation of dependable web clips
Web authoring environments enable end-users to create applications that integrate information from other web sources. Users can create web sites that include built-in components t...
Sandeep Lingam, Sebastian G. Elbaum
LREC
2010
174views Education» more  LREC 2010»
13 years 9 months ago
Enhancing Language Resources with Maps
We will look at how maps can be integrated in research resources, such as language databases and language corpora. By using maps, search results can be illustrated in a way that i...
Janne Bondi Johannessen, Kristin Hagen, Anders N&o...
ASPLOS
2009
ACM
14 years 8 months ago
ASSURE: automatic software self-healing using rescue points
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
Stelios Sidiroglou, Oren Laadan, Carlos Perez, Nic...