Sciweavers

2963 search results - page 377 / 593
» On the Integration of Web Modeling Languages
Sort
View
UML
1999
Springer
15 years 10 months ago
Towards a UML Extension for Hypermedia Design
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...
Hubert Baumeister, Nora Koch, Luis Mandel
DOLAP
2009
ACM
15 years 10 months ago
Defining ETL worfklows using BPMN and BPEL
Decisional systems are crucial for enterprise improvement. They allow the consolidation of heterogeneous data from distributed enterprise data stores into strategic indicators. An...
Zineb El Akkaoui, Esteban Zimányi
ER
2007
Springer
117views Database» more  ER 2007»
16 years 21 days ago
Semantic Interoperability via Category Theory
This paper aims to bring the benefits of the use of Category Theory to the field of Semantic Web, where the coexistence of intrinsically different models of local knowledge mak...
Isabel Cafezeiro, Edward Hermann Haeusler
ICCL
1998
IEEE
15 years 10 months ago
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
Christopher Colby, Lalita Jategaonkar Jagadeesan, ...
ICALP
1992
Springer
15 years 10 months ago
What Good Are Digital Clocks?
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
Thomas A. Henzinger, Zohar Manna, Amir Pnueli