Sciweavers

2020 search results - page 147 / 404
» Modeling Probe-Agent Distributed System by Goal-oriented App...
Sort
View
GECCO
2003
Springer
130views Optimization» more  GECCO 2003»
15 years 11 months ago
Extracting Test Sequences from a Markov Software Usage Model by ACO
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled...
Karl Doerner, Walter J. Gutjahr
CBSE
2006
Springer
15 years 10 months ago
A Prototype Tool for Software Component Services in Embedded Real-Time Systems
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
Frank Lüders, Daniel Flemström, Anders W...
PPSN
1992
Springer
15 years 10 months ago
Hyperplane Annealing and Activator-Inhibitor-Systems
This paper introduces a new optimization technique called hyperplane annealing. It is similar to the mean field annealing approach to combinatorial optimization. Both annealing te...
Thomas Laußermair
ISORC
1998
IEEE
15 years 10 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
151
Voted
CAISE
2001
Springer
15 years 10 months ago
Techniques for Reactive System Design: The Tools in TRADE
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
Roel Wieringa, David N. Jansen