3561 search results - page 546 / 713 » Design: One, but in different forms |
198
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Recent technology trends in the Web Services (WS) domain indicate that a solution eliminating the presumed complexity of the WS-* standards may be in sight: advocates of REpresent...
179
click to vote
COORDINATION
2009
Springer
16 years 7 months ago
2009
Springer
The diffuse Web is an alternative way of using the Web 2.0 infrastructure for building personal diffuse applications. Systems that let users tune the temperature of their house wit...
181
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—One of the key factors underlying the popularity of Low-density parity-check (LDPC) code is its iterative decoding algorithm that is amenable to efficient hardware implementati...
197
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
160
click to vote
ITNG
2006
IEEE
16 years 17 days ago
2006
IEEE
Purpose – This paper reports the findings of a major study examining the overlap among results retrieved by three major web search engines. The goal of the research was to: mea...