12333 search results - page 2106 / 2467 » System Level Modelling for Hardware Software Systems |
175
click to vote
SAINT
2008
IEEE
16 years 23 days ago
2008
IEEE
Object replication and cache consistency have been one of major design issues in the recent Internet applications. In this paper, we forcus on accuracy-aware applications (i.e., s...
177
click to vote
ICC
2007
IEEE
16 years 21 days ago
2007
IEEE
Release99 of UMTS (Universal Mobile Telecommunication System) network supports conversational services by means of UTRAN (Universal Terrestrial Radio Access Network) Dedicated tran...
164
click to vote
CIE
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
175
click to vote
PKC
2007
Springer
16 years 15 days ago
2007
Springer
We present the first identity-based traitor tracing scheme. The scheme is shown to be secure in the standard model, assuming the bilinear decision Diffie-Hellman (DBDH) is hard in...
159
click to vote
IMSCCS
2006
IEEE
16 years 12 days ago
2006
IEEE
Agreement-based resource management is becoming the foundation of grid system. Since the grid resource management encompasses a wide range of different scenarios, the decision mak...