1855 search results - page 144 / 371 » A coding theorem for distributed computation |
135
Voted
RTCSA
2008
IEEE
15 years 9 months 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...
152
Voted
COMSWARE
2007
IEEE
15 years 9 months 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...
124
click to vote
ASIACRYPT
2000
Springer
15 years 7 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...
133
click to vote
ACSAC
2004
IEEE
15 years 7 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...
118
Voted
LPAR
2001
Springer
15 years 7 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...