4052 search results - page 503 / 811 » integration 2007 |
200
click to vote
BIOCOMP
2006
15 years 8 months ago
2006
- Web services is distributed computing technology that provides software services over the Web. The Cyberinfrastructure Group at the Virginia Bioinformatics Institute (VBI) has ad...
174
click to vote
CIIT
2004
15 years 8 months ago
2004
In the current information age, the dominant method for information search is by providing few keywords to a search engine. Keyword search is currently one of the most important o...
199
Voted
CLIMA
2004
15 years 8 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
172
Voted
CRIWG
2004
15 years 8 months ago
2004
This paper presents Gridcole, a new collaborative learning system that can be easily tailored by educators in order to support their own CSCL scenarios, using computing services pr...
229
Voted
CSREASAM
2004
15 years 8 months ago
2004
: Present-day handheld devices, such as PDAs, are a useful blend of hardware and software oriented toward the mobile workforce. While they provide the capability to review document...