12774 search results - page 372 / 2555 » A Framework for Proof Systems |
155
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
The advantages of object-oriented (OO) programming are well-known. Nevertheless, distributed OO middleware systems (OOM) such as CORBA, DCOM or Java RMI have not been widely adopt...
173
click to vote
AIPR
2007
IEEE
16 years 1 months ago
2007
IEEE
A common way to evaluate the performance of a system is to compare the algorithmic outputs with ground truth to identify divergences in the system’s performance and discover the...
159
Voted
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Previous research in Group Support Systems does not include a design theory for GSS-enabled meetings. As a consequence, problems are experienced in the design, implementation and ...
188
Voted
ICAC
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper proposes autonomic or organic computing principles to be applied to hardware design methods for future SoC solutions. Incorporating self-calibration, fault tolerance or...
209
Voted
ICMCS
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper describes our system that enables members of a social network to collaboratively annotate a shared media collection. The problem is important since online social networ...