Sciweavers

12084 search results - page 249 / 2417
» Effect Systems with Subtyping
Sort
View
IPPS
2007
IEEE
16 years 1 months ago
Mobility of Data in Distributed Hybrid Computing Systems
In distributed hybrid computing systems, traditional sequential processors are loosely coupled with reconfigurable hardware for optimal performance. This loose coupling proves to...
Philippe Faes, Mark Christiaens, Dirk Stroobandt
P2P
2007
IEEE
108views Communications» more  P2P 2007»
16 years 1 months ago
Distributed, Automatic File Description Tuning in Peer-to-Peer File-Sharing Systems
Peers in peer-to-peer file-sharing systems cannot effectively share their files if they are poorly described. Terms one user employs to describe an instance of a file may not be t...
Dongmei Jia, Wai Gen Yee, Linh Thai Nguyen, Ophir ...
AIED
2007
Springer
16 years 1 months ago
Constraint Authoring System: An Empirical Evaluation
Evaluation is an integral part of research that provides a true measure of effectiveness. This paper presents a study conducted to evaluate the effectiveness of CAS, a knowledge ac...
Pramuditha Suraweera, Antonija Mitrovic, Brent Mar...
ATAL
2005
Springer
16 years 23 days ago
Foundations of organizational structures in multiagent systems
We analyze the notion of organizational structure in multiagent systems and explain the precise added value and the effects of such organizational structure on the involved agents...
Davide Grossi, Frank Dignum, Mehdi Dastani, Lamb&e...
RSP
2003
IEEE
16 years 15 days ago
Verification of Timing Properties in Rapid System Prototyping
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
Doron Drusinsky, Man-tak Shing