8627 search results - page 1599 / 1726 » Software Engineering Using RATionale |
158
click to vote
FSEN
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
173
click to vote
FSTTCS
2007
Springer
16 years 18 days ago
2007
Springer
The Directed Maximum Leaf Out-Branching problem is to find an out-branching (i.e. a rooted oriented spanning tree) in a given digraph with the maximum number of leaves. In this pa...
177
click to vote
FSTTCS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper proposes a new algorithm that improves the complexity bound for solving parity games. Our approach combines McNaughton’s iterated fixed point algorithm with...
157
click to vote
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
The diffusion of service oriented architectures introduces the need for novel testing approaches. On the one side, testing must be able to identify failures in the functionality ...
171
click to vote
REFSQ
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...