4298 search results - page 740 / 860 » Computing at the top of the world |
129
click to vote
IEEEHPCS
2010
15 years 5 days ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
113
click to vote
IV
2010
IEEE
15 years 3 days ago
2010
IEEE
Information spaces such the WWW are the most challenging type of space that many people navigate during everyday life. Unlike the real world, there are no effective maps of inform...
133
click to vote
MM
2010
ACM
15 years 2 days ago
2010
ACM
Visual search connects physical (offline) objects with (online) digital media. Using objects from the environment, like newspapers, magazines, books and posters, we can retrieve s...
109
click to vote
PRESENCE
2010
15 years 2 days ago
2010
Brain–computer interfaces (BCIs) are becoming more and more popular as an input device for virtual worlds and computer games. Depending on their function, a major drawback is th...
150
click to vote
USAB
2010
15 years 18 hour ago
2010
Akamai oers the largest Content Delivery Network (CDN) service in the world. Building upon its CDN, it recently started to offer High De nition (HD) video distribution using HTTP-...