Sciweavers

3093 search results - page 369 / 619
» The Multi-perspective Process Explorer
Sort
View
ALIFE
2006
15 years 3 months ago
Through the Interaction of Neutral and Adaptive Mutations, Evolutionary Search Finds a Way
An evolutionary system that supports the interaction of neutral and adaptive mutations is investigated. Experimental results on a Boolean function and needle-in-haystack problems s...
Tina Yu, Julian Francis Miller
AUTOMATICA
2006
83views more  AUTOMATICA 2006»
15 years 3 months ago
A stochastic control model of economic growth with environmental disaster prevention
This paper proposes a capital accumulation model with a random stopping time corresponding to the occurrence of an environmental catastrophe. Depending on the preventive capital s...
Alain Haurie, Francesco Moresino
ENTCS
2006
123views more  ENTCS 2006»
15 years 3 months ago
Steering of Discrete Event Systems: Control Theory Approach
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
Arvind Easwaran, Sampath Kannan, Oleg Sokolsky
EOR
2006
77views more  EOR 2006»
15 years 3 months ago
A framework for ex ante project risk assessment based on absorptive capacity
This paper explores the applicability of the concepts of absorptive capacity and ``ba'' to ex ante project risk. We develop a hybrid framework to explain knowledge trans...
Michael J. Cuellar, Michael J. Gallivan
IJFCS
2006
94views more  IJFCS 2006»
15 years 3 months ago
Conflicts and Fair Testing
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the con...
Robi Malik, David Streader, Steve Reeves