Sciweavers

1698 search results - page 167 / 340
» The Challenge of Process Data Warehousing
Sort
View
ICASSP
2009
IEEE
14 years 3 months ago
A frequency hopping spread spectrum transmission scheme for uncoordinated cognitive radios
One of the major challenges to cognitive radios is the synchronization of distributed radios onto the same spectrum white spaces which vary in time and space. In this paper, we pr...
Xiaohua Li, Juite Hwu
FM
2009
Springer
95views Formal Methods» more  FM 2009»
14 years 3 months ago
Industrial Practice in Formal Methods: A Review
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
Juan Bicarregui, John S. Fitzgerald, Peter Gorm La...
JCDL
2009
ACM
204views Education» more  JCDL 2009»
14 years 3 months ago
Developing a flexible content model for media repositories: a case study
This article describes the process and challenges of developing a content model that can support the content and metadata present in a complex media archive. Media archives have s...
Christopher A. Beer, Peter D. Pinch, Karen Cariani
CEC
2008
IEEE
14 years 3 months ago
Evolving finite state transducers to interpret deepwater reservoir depositional environments
— Predicting oil recovery efficiency of deepwater reservoirs is a challenging task. One approach to characterize and predict the producibility of a reservoir is by analyzing its...
Tina Yu, Dave Wilkinson, Julian Clark, Morgan Sull...
TRIDENTCOM
2006
IEEE
14 years 3 months ago
A reliable optimization on distributed mutual exclusion algorithm
– This paper presents a reliable decentralized mutual exclusion algorithm for distributed systems in which processes communicate by asynchronous message passing. When any failure...
Moharram Challenger, Peyman Bayat, Mohammad Reza M...