6829 search results - page 10 / 1366 » Quantitative Generalizations of Languages |
71
Voted
ICALP
1987
Springer
15 years 4 months ago
1987
Springer
119
Voted
TECS
2008
15 years 17 days ago
2008
tion. Transaction Level Modeling (TLM) has been proposed to abstract communication for highspeed system simulation and rapid design space exploration. Although being widely accepte...
116
click to vote
CSFW
2011
IEEE
14 years 14 days ago
2011
IEEE
—In this paper, we investigate the computational complexity of quantitative information flow (QIF) problems. Information-theoretic quantitative relaxations of noninterference (b...
89
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
The well-known Impossibility Theorem of Arrow asserts that any Generalized Social Welfare Function (GSWF) with at least three alternatives, which satisfies Independence of Irrelev...
132
Voted
SDL
2001
15 years 2 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...