Sciweavers

765 search results - page 24 / 153
» Event summarization for system management
Sort
View
DOLAP
2004
ACM
15 years 3 months ago
An analysis of additivity in OLAP systems
Accurate summary data is of paramount concern in data warehouse systems; however, there have been few attempts to completely characterize the ability to summarize measures. The su...
John Horner, Il-Yeol Song, Peter P. Chen
NFM
2011
264views Formal Methods» more  NFM 2011»
14 years 4 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
87
Voted
ICPADS
2006
IEEE
15 years 3 months ago
Flexible, Low-overhead Event Logging to Support Resource Scheduling
Flexible resource management and scheduling policies require detailed system-state information. Traditional, monolithic operating systems with a centralized kernel derive the requ...
Jan Stoess, Volkmar Uhlig
CHI
2011
ACM
14 years 1 months ago
Twitinfo: aggregating and visualizing microblogs for event exploration
Microblogs are a tremendous repository of user-generated content about world events. However, for people trying to understand events by querying services like Twitter, a chronolog...
Adam Marcus 0002, Michael S. Bernstein, Osama Bada...
WSC
1997
14 years 11 months ago
Real Time Discrete Event Simulation of a PCB Production System for Operational Support
The purpose of this paper is to investigate how discrete event simulation can support the growing need of information in the production system. Agility, one key to future competit...
Mats Jackson, Christer Johansson