708 search results - page 63 / 142 » Precise Specification and Automatic Application of Design Pa... |
122
Voted
ISORC
2000
IEEE
15 years 7 months ago
2000
IEEE
Distributed application programmers rely on middleware such as CORBA in order to handle the complexity that arises from the distributed and heterogeneous nature of the underlying ...
130
click to vote
CCR
2004
15 years 3 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
111
click to vote
KDD
2009
ACM
16 years 4 months ago
2009
ACM
In this study, we formalize a multi-focal learning problem, where training data are partitioned into several different focal groups and the prediction model will be learned within...
140
click to vote
CF
2008
ACM
15 years 5 months ago
2008
ACM
Volunteer Computing (VC) is a paradigm that takes advantage of idle cycles from computing resources donated by volunteers and connected through the Internet to compute large-scale...
140
Voted
SC
2004
ACM
15 years 8 months ago
2004
ACM
Cluster-based storage systems are popular for data-intensive applications and it is desirable yet challenging to provide incremental expansion and high availability while achievin...