15660 search results - page 131 / 3132 » The Unbalance of Set Systems |
211
click to vote
VMCAI
2012
Springer
14 years 2 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
159
click to vote
ADG
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper describes a complete implementation of Ritt-Wu's characteristic sets method in the Maple system. The implemented algorithms include those with variants fo...
181
click to vote
CONCUR
2005
Springer
16 years 2 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
164
click to vote
EWSA
2004
Springer
15 years 12 months ago
2004
Springer
There has recently been an increase in interest, among information systems architecture practitioners, in using viewpoints for architectural definition and description. This has be...
136
click to vote
COMBINATORICS
2006
15 years 6 months ago
2006
The set system of all arithmetic progressions on [n] is known to have a discrepancy of order n1/4. We investigate the discrepancy for the set system S3 n formed by all sums of thr...