875 search results - page 96 / 175 » Extending the CG Model by Simulations |
126
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
: The Borowsky-Gafni (BG) simulation algorithm is a powerful reduction algorithm that shows that t-resilience of decision tasks can be fully characterized in terms of wait-freedom....
138
click to vote
ISW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...
112
click to vote
ICANN
2003
Springer
15 years 9 months ago
2003
Springer
We have proposed that the basal ganglia act as the central switching mechanism for the action selection system of the vertebrate brain. Simulation of our functional model of basal ...
125
click to vote
WSC
2008
15 years 6 months ago
2008
Semiconductor fabs often offer manufacturing service of multiple priorities in terms of cycle time-based X-factor targets (XFTs) and fab production must be planned accordingly. Th...
146
click to vote
ICPPW
2003
IEEE
15 years 9 months ago
2003
IEEE
Users have been demanding information “anytime, anywhere”. The notion of accessing diverse and autonomous information repositories with different APIs is not accepted. This ha...