5653 search results - page 721 / 1131 » Distributed Conceptual Structures |
181
click to vote
TLCA
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
179
click to vote
ASAP
2006
IEEE
16 years 27 days ago
2006
IEEE
An increasing computational demand is placed on the image processing capacity of current and future smart cameras. SIMD processor architectures provide an efficient solution becau...
156
click to vote
ESCIENCE
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper, we present algorithms for Grid resource provisioning that employ agreement-based resource management. These algorithms allow userlevel resource allocation and sched...
144
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
This article presents the findings of an action research study in which a repeatable GSS (Group Support System) process was adopted by project teams to track their progress. The r...
166
click to vote
ICDCSW
2006
IEEE
16 years 27 days ago
2006
IEEE
Business-to-business (B2B) data exchange and integration is a common daily operation in today’s organizations. These operations are crucial since they affect organizations’ ca...