Sciweavers

2339 search results - page 353 / 468
» A student-directed computing community
Sort
View
CSE
2009
IEEE
15 years 10 months ago
Social Tagging in Query Expansion: A New Way for Personalized Web Search
Social networks and collaborative tagging systems are rapidly gaining popularity as primary means for sorting and sharing data: users tag their bookmarks in order to simplify infor...
Claudio Biancalana, Alessandro Micarelli
ACMIDC
2010
15 years 10 months ago
Interactive storytelling for children
Since the nineties, storytelling has received increasing attention in the HCI, IDC, and AI communities, exploring the potential of interactivity and multimedia as a means to promo...
Franca Garzotto, Paolo Paolini, Amalia Sabiescu
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 10 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
BROADNETS
2004
IEEE
15 years 10 months ago
A Multi-Radio Unification Protocol for IEEE 802.11 Wireless Networks
We present a link layer protocol called the Multi-radio Unification Protocol or MUP. On a single node, MUP coordinates the operation of multiple wireless network cards tuned to no...
Atul Adya, Paramvir Bahl, Jitendra Padhye, Alec Wo...
CLADE
2004
IEEE
15 years 10 months ago
A Collaborative Informatics Infrastructure for Multi-scale Science
The Collaboratory for Multi-scale Chemical Science (CMCS) is developing a powerful informaticsbased approach to synthesizing multi-scale information to support a systems-based res...
James D. Myers, Thomas C. Allison, Sandra Bittner,...