2468 search results - page 303 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
143
click to vote
PE
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents an efficient solution technique for the steady-state analysis of the second-order Stochastic Fluid Model underlying a second-order Fluid Stochastic Petri Net (...
132
Voted
ISTA
2003
15 years 5 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
146
click to vote
ICPP
2007
IEEE
15 years 10 months ago
2007
IEEE
Performance and power are critical design constraints in today’s high-end computing systems. Reducing power consumption without impacting system performance is a challenge for t...
134
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The previous link adaptation algorithms on ofdm based systems use equal modulation order for all sub carrier index within a block. For multimedia transmission using ofdm as the mo...
129
click to vote
AFRICACRYPT
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Proxy re-encryption (PRE) allows a semi-trusted proxy to convert a ciphertext originally intended for Alice into one encrypting the same plaintext for Bob. The proxy only...