2137 search results - page 327 / 428 » Proving Abstract Non-interference |
127
Voted
INFOCOM
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract— In [1], Gupta and Kumar determined the capacity of wireless networks under certain assumptions, among them point-to-point coding, which excludes for example multi-acces...
129
click to vote
INFOCOM
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract— Network calculus is known to apply in general only to feedforward routing networks, i.e., networks where routes do not create cycles of interdependent packet flows. In...
133
click to vote
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
114
click to vote
ICA3PP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Provisioning extra resources is necessary when the local resources are not sufficient to meet the user requirements. Commercial Cloud providers offer the extra resources...
111
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper tackles three algorithmic problems for probabilistic automata on finite words: the Emptiness Problem, the Isolation Problem and the Value 1 Problem. The Empti...