1833 search results - page 296 / 367 » Mechanized Verification with Sharing |
140
click to vote
GECON
2007
Springer
15 years 6 months ago
2007
Springer
Grid technology offers numerous opportunities for the players involved. Despite the fact that the academic community has already exploited many of them, there is an evident relucta...
117
click to vote
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
We delineate an integrative view of interorganizational knowledge transfer (IOKT) in the upstream supply chain relationship from a buyer’s perspective. For this purpose, we sugg...
126
click to vote
BCSHCI
2008
15 years 6 months ago
2008
Online social networking communities such as Facebook and MySpace are extremely popular. These sites have changed how many people develop and maintain relationships through postin...
142
click to vote
COLING
2008
15 years 6 months ago
2008
One style of Multi-Engine Machine Translation architecture involves choosing the best of a set of outputs from different systems. Choosing the best translation from an arbitrary s...
131
click to vote
GCA
2007
15 years 6 months ago
2007
On-Demand Computing fulfills the need of computing availability at limited hardware and software costs. Distributed systems of this kind typically store user files in a shared ...