7693 search results - page 1382 / 1539 » Design and Implementation of the FRIENDS System |
194
click to vote
CCGRID
2011
IEEE
14 years 9 months ago
2011
IEEE
Many large-scale distributed computing applications demand real-time responses by soft deadlines. To enable such real-time task distribution and execution on the volunteer resourc...
216
click to vote
FORTE
2011
14 years 9 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
167
click to vote
IJAHUC
2011
14 years 9 months ago
2011
: We propose and investigate the Internet Protocol version 6 (IPv6) enabled mobility framework to improve the user mobility experience in heterogenous wireless networks. The framew...
172
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
160
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...