Sciweavers

801 search results - page 7 / 161
» Active Messages: A Mechanism for Integrated Communication an...
Sort
View
JSS
2008
83views more  JSS 2008»
14 years 11 months ago
XML-based agent communication, migration and computation in mobile agent systems
This article presents the research work that exploits using XML (Extensible Markup Language) to represent different types of information in mobile agent systems, including agent c...
Bo Chen, David D. Linz, Harry H. Cheng
HPCA
2011
IEEE
14 years 3 months ago
MOPED: Orchestrating interprocess message data on CMPs
Future CMPs will combine many simple cores with deep cache hierarchies. With more cores, cache resources per core are fewer, and must be shared carefully to avoid poor utilization...
Junli Gu, Steven S. Lumetta, Rakesh Kumar, Yihe Su...
CRIWG
2000
15 years 1 months ago
Supporting Collaborative Activities in Computer Integrated Classrooms-the NIMIS Approach
This paper presents the concept of a collaborative computer integrated classroom (CiC) specially designed to achieve a unique combination of interactive and collaborative software...
Heinz Ulrich Hoppe, Andreas Lingnau, Isabel Machad...
CSCWD
2009
Springer
15 years 4 months ago
A Collaborative Learning Activity and a software tool for improving language skills
It seems that actual software tools utilizing Computer-Mediated Communication mechanisms -like messaging or chat systems- do not help young students to learn good grammar skills. ...
Luis A. Guerrero
CSFW
2007
IEEE
15 years 6 months ago
Computationally Sound Mechanized Proofs of Correspondence Assertions
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
Bruno Blanchet