15784 search results - page 2919 / 3157 » Mega Software Engineering |
189
click to vote
FOSSACS
2007
Springer
16 years 22 days ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
148
click to vote
FOSSACS
2007
Springer
16 years 22 days ago
2007
Springer
Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue ...
160
click to vote
FSEN
2007
Springer
16 years 22 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...
180
click to vote
FSEN
2007
Springer
16 years 22 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
177
click to vote
FSTTCS
2007
Springer
16 years 22 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...