Sciweavers

16 search results - page 2 / 4
» Power tools and composite tools: integrating automation with...
Sort
View
ISSTA
2004
ACM
14 years 2 months ago
Model checking XML manipulating software
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
Xiang Fu, Tevfik Bultan, Jianwen Su
OHS
2001
Springer
14 years 1 months ago
Using Open Hypermedia to Support Information Integration
Abstract. The task of information integration challenges software engineers on a daily basis. Software artifacts, produced during software development, contain many implicit and ex...
Kenneth M. Anderson, Susanne A. Sherba
WEBI
2004
Springer
14 years 1 months ago
An Integrated Approach to Discovery in Complex Information Spaces
As the amount of available data continues to increase, more and more effective means for discovering important patterns and relationships within that data are required. Although t...
Daryl H. Hepting, Cory J. Butz
OPODIS
2004
13 years 10 months ago
Embedded Systems - Challenges and Work Directions
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
Joseph Sifakis
CSL
1992
Springer
14 years 20 days ago
Communicating Evolving Algebras
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
Paola Glavan, Dean Rosenzweig