Sciweavers

538 search results - page 30 / 108
» Distribution concerns in service-oriented modelling
Sort
View
FOGA
1994
13 years 10 months ago
Predictive Models Using Fitness Distributions of Genetic Operators
An important goal of the theory of genetic algorithms is to build predictive models of how well genetic algorithms are expected to perform, given a representation, a fitness lands...
John J. Grefenstette
IJCIS
2006
126views more  IJCIS 2006»
13 years 8 months ago
Developing Distributed Services Using an Aspect Oriented Model Driven Framework
of modern businesses, separation of concern mechanisms and abstractions are needed. iven development (MDD) approaches utilize abstraction and transformation to handle ty. In MDD, s...
Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Rob...
AAAI
2006
13 years 10 months ago
Identification of Joint Interventional Distributions in Recursive Semi-Markovian Causal Models
This paper is concerned with estimating the effects of actions from causal assumptions, represented concisely as a directed graph, and statistical knowledge, given as a probabilit...
Ilya Shpitser, Judea Pearl
TCS
2002
13 years 8 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
ENTCS
2006
141views more  ENTCS 2006»
13 years 8 months ago
Verification of Distributed Hierarchical Components
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
Tomás Barros, Ludovic Henrio, Eric Madelain...