Sciweavers

449 search results - page 59 / 90
» Formal Modeling of Communication Protocols by Graph Transfor...
Sort
View
ER
2005
Springer
186views Database» more  ER 2005»
15 years 7 months ago
Blueprints and Measures for ETL Workflows
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
Panos Vassiliadis, Alkis Simitsis, Manolis Terrovi...
VR
2008
IEEE
163views Virtual Reality» more  VR 2008»
15 years 1 months ago
Integrating Gyroscopes into Ubiquitous Tracking Environments
It is widely recognized that inertial sensors, in particular gyroscopes, can improve the latency and accuracy of orientation tracking by fusing the inertial measurements with data...
Daniel Pustka, Manuel Huber, Gudrun Klinker
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 7 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
INFOCOM
2010
IEEE
14 years 12 months ago
Random Walks on Digraphs: A Theoretical Framework for Estimating Transmission Costs in Wireless Routing
—In this paper we develop a unified theoretical framework for estimating various transmission costs of packet forwarding in wireless networks. Our framework can be applied to th...
Yanhua Li, Zhi-Li Zhang
RE
2006
Springer
15 years 1 months ago
Interaction Analysis in Aspect-Oriented Models
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
Katharina Mehner, Mattia Monga, Gabriele Taentzer