Sciweavers

2234 search results - page 187 / 447
» Protocol Implementation Using Integrated Layer Processing
Sort
View
CCECE
2006
IEEE
16 years 17 days ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
ACISICIS
2008
IEEE
16 years 1 months ago
Designing Fault Tolerant Web Services Using BPEL
The web services technology provides an approach for developing distributed applications by using simple and well defined interfaces. Due to the flexibility of this architecture, ...
Jim Lau, Lau Cheuk Lung, Joni da Silva Fraga, Giul...
EDBT
2009
ACM
218views Database» more  EDBT 2009»
16 years 1 months ago
Data integration flows for business intelligence
Business Intelligence (BI) refers to technologies, tools, and practices for collecting, integrating, analyzing, and presenting large volumes of information to enable better decisi...
Umeshwar Dayal, Malú Castellanos, Alkis Sim...
ER
2006
Springer
89views Database» more  ER 2006»
15 years 10 months ago
A UML Profile for Modeling Schema Mappings
When trying to obtain semantical interoperability between different information systems, the integration of heterogeneous information sources is a fundamental task. An important st...
Stefan Kurz, Michael Guppenberger, Burkhard Freita...
ESEC
1995
Springer
15 years 10 months ago
Improvise: Interactive Multimedia Process Visualization Environment
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
Naser S. Barghouti, Eleftherios Koutsofios, Edith ...