627 search results - page 56 / 126 » Branched Polyhedral Systems |
136
click to vote
ICTAC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...
170
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
Intermediate measurements in quantum circuits compare to conditional branchings in programming languages. Due to this, quantum circuits have a natural linear-tree structure. In thi...
148
Voted
IPMU
1994
Springer
15 years 9 months ago
1994
Springer
Bayes nets are seeing increasing use in expert systems [2, 6], and structural equations models continue to be popular in many branches of the social sciences [1]. Both types of mod...
140
Voted
CAV
2006
Springer
15 years 9 months ago
2006
Springer
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...
176
Voted
TACAS
2000
Springer
15 years 9 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...