1116 search results - page 147 / 224 » Applying Predicate Abstraction to Abstract State Machines |
CIG
2005
IEEE
15 years 4 months ago
2005
IEEE
Abstract- We present a method that enhances evolutionary behavior testing of commercial computer games, as introduced in [CD+04], to deal with parameterized actions. The basic idea...
CP
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In this article we will present some problems that have weak symmetries. In contrast to a proper symmetry, a weak symmetry acts only on a subset of the variables and pres...
FCT
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
ICCS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In this paper we analyse the performance of a low dimensional model for the nonlinear thermo-mechanical waves. The model has been obtained by using proper orthogonal deco...
103
click to vote
ICSOC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-...