488 search results - page 54 / 98 » On the Formal Generation of Process Redesigns |
120
click to vote
AIPS
2003
15 years 3 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
111
click to vote
SOSP
2009
ACM
15 years 10 months ago
2009
ACM
Faulty device drivers cause significant damage through down time and data loss. The problem can be mitigated by an improved driver development process that guarantees correctness...
IEAAIE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
AIIA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Game generation systems perform automated, intelligent design of games (i.e. videogames, boardgames), reasoning about both the rule system of the game and the visual real...
106
click to vote
ICNP
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...