Sciweavers

140 search results - page 22 / 28
» Testing for Imperfect Integration of Legacy Software Compone...
Sort
View
ISORC
2005
IEEE
14 years 2 months ago
A Provenance-Aware Weighted Fault Tolerance Scheme for Service-Based Applications
Service-orientation has been proposed as a way of facilitating the development and integration of increasingly complex and heterogeneous system components. However, there are many...
Paul Townend, Paul T. Groth, Jie Xu
PERVASIVE
2011
Springer
12 years 11 months ago
Hybrid Prototyping by Using Virtual and Miniature Simulation for Designing Spatial Interactive Information Systems
Abstract. In this paper, we introduce CityCompiler, an integrated environment for the iteration-based development of spatial interactive systems. CityCompiler visualizes interactiv...
Yasuto Nakanishi, Koji Sekiguchi, Takuro Ohmori, S...
EURODAC
1994
IEEE
211views VHDL» more  EURODAC 1994»
14 years 22 days ago
Advanced simulation and modeling techniques for hardware quality verification of digital systems
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
S. Forno, Stephen Rochel
ICSE
2001
IEEE-ACM
14 years 1 months 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...
WWW
2007
ACM
14 years 9 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