Sciweavers

58 search results - page 9 / 12
» Simulator for Real-Time Abstract State Machines
Sort
View
PPSN
2010
Springer
14 years 8 months ago
Evolving a Single Scalable Controller for an Octopus Arm with a Variable Number of Segments
Abstract. While traditional approaches to machine learning are sensitive to highdimensional state and action spaces, this paper demonstrates how an indirectly encoded neurocontroll...
Brian G. Woolley, Kenneth O. Stanley
ASM
2008
ASM
14 years 11 months ago
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
Egon Börger, Bernhard Thalheim
JSSPP
2004
Springer
15 years 2 months ago
Parallel Computer Workload Modeling with Markov Chains
Abstract. In order to evaluate different scheduling strategies for parallel computers, simulations are often executed. As the scheduling quality highly depends on the workload tha...
Baiyi Song, Carsten Ernemann, Ramin Yahyapour
CAISE
2006
Springer
15 years 1 months ago
A Method for Functional Alignment Verification in Hierarchical Enterprise Models
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
Irina Rychkova, Alain Wegmann
DEDS
2002
119views more  DEDS 2002»
14 years 9 months ago
Diagnosing Discrete-Event Systems: Extending the "Diagnoser Approach" to Deal with Telecommunication Networks
Abstract. Detection and isolation of failures in large and complex systems such as telecommunication networks are crucial and challenging tasks. The problem considered here is that...
Laurence Rozé, Marie-Odile Cordier