4298 search results - page 597 / 860 » Computing at the top of the world |
194
click to vote
ISPASS
2007
IEEE
16 years 1 months ago
2007
IEEE
The ongoing trend of increasing computer hardware and software complexity has resulted in the increase in complexity and overheads of cycle-accurate processor system simulation, e...
162
click to vote
MSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The volume of online data content has shown an un precedented growth in recent years. Fueling this growth are new federal regulations which warrant longer data re tention and ...
171
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
201
click to vote
FC
2007
Springer
16 years 27 days ago
2007
Springer
This paper introduces Hidden Identity-based Signatures (Hidden-IBS), a type of digital signatures that provide mediated signer-anonymity on top of Shamir’s Identity-based signat...
240
click to vote
MIDDLEWARE
2007
Springer
16 years 26 days ago
2007
Springer
Reflective middleware provides an effective way to support adaptation in distributed systems. However, as distributed systems become increasingly complex, certain drawbacks of the...