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...
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...
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...
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. ...
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...