Sciweavers

8928 search results - page 410 / 1786
» Modeling Current Events
Sort
View
CAISE
2003
Springer
15 years 10 months ago
A Bi-Temporal Data Warehouse Model
In data warehouses measures are analyzed along different dimensions. Although the structures of these dimensions change over time, data warehouse tools currently in use are not ab...
Christian Koncilia
FM
2006
Springer
169views Formal Methods» more  FM 2006»
15 years 8 months ago
PSL Model Checking and Run-Time Verification Via Testers
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
Amir Pnueli, Aleksandr Zaks
BMCBI
2010
95views more  BMCBI 2010»
15 years 5 months ago
Modelling p-value distributions to improve theme-driven survival analysis of cancer transcriptome datasets
Background: Theme-driven cancer survival studies address whether the expression signature of genes related to a biological process can predict patient survival time. Although this...
Esteban Czwan, Benedikt Brors, David Kipling
174
Voted
NETWORK
2011
14 years 12 months ago
Rethinking energy efficiency models of cellular networks with embodied energy
The continuous increase in energy consumption by cellular networks requires rethinking their energy efficiency. Current research indicates that one third of operating energy could...
Iztok Humar, Xiaohu Ge, Lin Xiang, Minho Jo, Min C...
BIRTHDAY
2007
Springer
15 years 11 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner