3731 search results - page 2 / 747 » Reduct Generation in Information Systems |
QEST
2010
IEEE
13 years 2 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
SAS
1999
Springer
13 years 9 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
DATE
2010
IEEE
13 years 10 months ago
2010
IEEE
— This paper describes a Model Order Reduction algorithm for multi-dimensional parameterized systems, based on a sampling procedure which incorporates a low order moment matching...
CONIELECOMP
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...
FLAIRS
2006
2006
Celerina - A Generative Music System Using Aesthetical Reduction Applied to Simple Cellular Automata
13 years 6 months ago
Celerina is the software core of a realtime system for dynamic music generation. Several one-dimensional binary cellular automata generate melodic patterns that are subsequently r...