Sciweavers

3018 search results - page 253 / 604
» Replicating for Performance: Case Studies
Sort
View
IWIA
2006
IEEE
16 years 18 days ago
Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...
Ole Martin Dahl, Stephen D. Wolthusen
EGC
2005
Springer
16 years 3 days ago
Optimising Parallel Applications on the Grid Using Irregular Array Distributions
In this paper we propose a new approach for scheduling data parallel applications on the Grid using irregular array distributions. We implement the scheduler as a new case study fo...
Radu Prodan, Thomas Fahringer
ICANN
2005
Springer
16 years 3 days ago
Data Fusion for Modern Engineering Applications: An Overview
An overview of data fusion approaches is provided from the signal processing viewpoint. The general concept of data fusion is introduced, together with the related architectures, a...
Danilo P. Mandic, Dragan Obradovic, Anthony Kuh, T...
PAKDD
2005
ACM
103views Data Mining» more  PAKDD 2005»
16 years 2 days ago
Subgroup Discovery Techniques and Applications
This paper presents the advances in subgroup discovery and the ways to use subgroup discovery to generate actionable knowledge for decision support. Actionable knowledge is explici...
Nada Lavrac
FORMATS
2004
Springer
15 years 12 months ago
Symbolic Model Checking for Simply-Timed Systems
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
Nicolas Markey, Ph. Schnoebelen