5084 search results - page 366 / 1017 » Proving Possibility Properties |
163
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
We construct an algebraic pseudorandom function (PRF) that is more efficient than the classic NaorReingold algebraic PRF. Our PRF is the result of adapting the cascade constructio...
163
click to vote
COORDINATION
2010
Springer
15 years 7 months ago
2010
Springer
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...
170
click to vote
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract-- This paper presents a novel mechanism for dynamically adapting the quality of congestion controlled Voice Over IP (VoIP) applications on the internet in real time. The s...
174
click to vote
ACTA
2007
15 years 6 months ago
2007
Abstract In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to appl...
182
click to vote
ACTA
2007
15 years 6 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...