6829 search results - page 10 / 1366 » Quantitative Generalizations of Languages |
ICALP
1987
Springer
14 years 2 months ago
1987
Springer
TECS
2008
13 years 10 months 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...
CSFW
2011
IEEE
12 years 10 months ago
2011
IEEE
—In this paper, we investigate the computational complexity of quantitative information flow (QIF) problems. Information-theoretic quantitative relaxations of noninterference (b...
CORR
2010
Springer
13 years 11 months 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...
SDL
2001
14 years 8 days 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...