4963 search results - page 627 / 993 » Implementing a Categorical Information System |
195
click to vote
ICAC
2008
IEEE
16 years 2 months ago
2008
IEEE
Recently, industry has begun investigating and moving towards utility computing, where computational resources (processing, memory and I/O) are availably on demand at a market cos...
224
Voted
AIMSA
2008
Springer
16 years 2 months ago
2008
Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...
179
click to vote
HICSS
2007
IEEE
16 years 2 months ago
2007
IEEE
This paper reports on a case study conducted to guide the design and implementation of a group support system. Network analysis of student self-reported interactions was conducted...
235
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
255
click to vote
SASO
2007
IEEE
16 years 1 months ago
2007
IEEE
Group communication primitives have broad utility as building blocks for distributed applications. The challenge is to create and maintain the distributed structures that support ...