Sciweavers

3907 search results - page 675 / 782
» Information requirements engineering for data warehouse syst...
Sort
View
MM
2003
ACM
133views Multimedia» more  MM 2003»
15 years 11 months ago
Real-time compression for dynamic 3D environments
The goal of tele-immersion has long been to enable people at remote locations to share a sense of presence. A tele-immersion system acquires the 3D representation of a collaborato...
Sang-Uok Kum, Ketan Mayer-Patel, Henry Fuchs
SACMAT
2006
ACM
16 years 10 days ago
The secondary and approximate authorization model and its application to Bell-LaPadula policies
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
Jason Crampton, Wing Leung, Konstantin Beznosov
FOSSACS
2005
Springer
15 years 12 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
BMCBI
2010
126views more  BMCBI 2010»
15 years 6 months ago
GeneBrowser 2: an application to explore and identify common biological traits in a set of genes
Background: The development of high-throughput laboratory techniques created a demand for computer-assisted result analysis tools. Many of these techniques return lists of genes w...
Joel Arrais, João Fernandes, João Pe...
ICC
2009
IEEE
162views Communications» more  ICC 2009»
16 years 1 months ago
Minimizing Energy Consumption in IR-UWB Based Wireless Sensor Networks
Abstract—Impulse Radio Ultra-wideband (IR-UWB) communication has proven an important technique for supporting highrate, short-range, low-power communication. These are necessary ...
Tianqi Wang, Wendi B. Heinzelman, Alireza Seyedi