Sciweavers

2940 search results - page 358 / 588
» Relational Parametricity and Control
Sort
View
DOLAP
1999
ACM
15 years 11 months ago
Dealing with Slow-Evolving Fact: A Case Study on Inventory Data Warehousing
Data Warehousing for INventory management DWIN is a production project at Telcordia aimed at providing telecommunications service providers with decision support functions for i...
Chung-Min Chen, Munir Cochinwala, Elsa Yueh
HT
1999
ACM
15 years 11 months ago
Do you have the Time? Composition and Linking in Time-Based Hypermedia
Most hypermedia models and systems do not incorporate time explicitly. This prevents authors from having direct control over the temporal aspects of a presentation. In this paper ...
Lynda Hardman, Jacco van Ossenbruggen, K. Sjoerd M...
WCRE
1999
IEEE
15 years 10 months ago
A Formal Approach for Reverse Engineering: A Case Study
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
Gerald C. Gannod, Betty H. C. Cheng
DEXAW
1998
IEEE
160views Database» more  DEXAW 1998»
15 years 10 months ago
Coordination in Message-Based Environments: Restructuring Internet E-Mail to Accomplish Tasks
In this paper we consider e-mail as a task management tool. Our general goal is to restructure the domain of e-mail. The purpose is to make e-mail even more suitable for messageba...
Juha Takkinen, Nahid Shahmehri
ICCAD
1997
IEEE
86views Hardware» more  ICCAD 1997»
15 years 10 months ago
Micro-preemption synthesis: an enabling mechanism for multi-task VLSI systems
- Task preemption is a critical enabling mechanism in multi-task VLSI systems. On preemption, data in the register les must be preserved in order for the task to be resumed. This e...
Kyosun Kim, Ramesh Karri, Miodrag Potkonjak