1855 search results - page 144 / 371 » A coding theorem for distributed computation |
180
click to vote
RTCSA
2008
IEEE
16 years 23 days ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
181
click to vote
COMSWARE
2007
IEEE
16 years 21 days ago
2007
IEEE
1 As distributed systems scale up and are deployed into increasingly sensitive settings, demand is rising for a new generation of communications middleware in support of applicati...
160
click to vote
ASIACRYPT
2000
Springer
15 years 10 months ago
2000
Springer
The mobile agent is a fundamental building block of the mobile computing paradigm. In mobile agent security, oblivious transfer (OT) from a trusted party can be used to protect th...
165
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Both Java RMI and Jini use a proxy-based architecture. In this architecture, a client interacts with a service through a proxy, which is code downloaded from a directory and insta...
153
click to vote
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...