Sciweavers

5752 search results - page 846 / 1151
» Informative Labeling Schemes
Sort
View
CAISE
2004
Springer
16 years 3 days ago
An Approach to Heterogeneous Data Translation based on XML Conversion
In this paper, we illustrate a preliminary approach to the translation of Web data between heterogeneous formats. This work fits into a larger project whose aim is the development...
Paolo Papotti, Riccardo Torlone
184
Voted
CAV
2004
Springer
93views Hardware» more  CAV 2004»
16 years 3 days ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang
EMISA
2004
Springer
16 years 3 days ago
On the Modeling of Correct Service Flows with BPEL4WS
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
Manfred Reichert, Stefanie Rinderle, Peter Dadam
EUC
2004
Springer
16 years 3 days ago
VChord: Constructing Peer-to-Peer Overlay Network by Exploiting Heterogeneity
High heterogeneity is an unignoring factor for large-scale peer-to-peer system which leads to the born of VChord. VChord is a peer-to-peer overlay network constructed on Chord aime...
Feng Hong, Minglu Li, Xinda Lu, Yi Wang, Jiadi Yu,...
ISCIS
2004
Springer
16 years 2 days ago
Mutation-Like Oriented Diversity for Dependability Improvement: A Distributed System Case Study
Abstract. Achieving higher levels of dependability is a goal in any software project, therefore strategies for software reliability improvement are very attractive. This work intro...
Daniel O. Bortolas, Avelino F. Zorzo, Eduardo A. B...