Sciweavers

4164 search results - page 488 / 833
» Application and desktop sharing
Sort
View
TCAD
2002
121views more  TCAD 2002»
15 years 7 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...
209
Voted
PRESENCE
2007
156views more  PRESENCE 2007»
15 years 7 months ago
ATLAS: A Scalable Network Framework for Distributed Virtual Environments
A distributed virtual environment (DVE) is a software system that allows users on a network to interact with each other by sharing a common view of their states. As users are geog...
Dongman Lee, Mingyu Lim, Seunghyun Han, Kyungmin L...
209
Voted
JSW
2008
127views more  JSW 2008»
15 years 7 months ago
Interactive Traveling Assistant based on Agent Technologies and Mobile Computing
Many people love traveling for entertainment nowadays. In a journey, visitors often produce digital multimedia resources by capturing images, audios and videos. With digital device...
Han-Bin Chang, Hsuan-Pu Chang, Jason C. Hung
187
Voted
PUC
2008
117views more  PUC 2008»
15 years 7 months ago
Designing for privacy and self-presentation in social awareness
Social awareness applications are based on the idea of a group sharing real-time context information via personal and ubiquitous terminals. Studies of such applications have shown ...
Mika Raento, Antti Oulasvirta
MIDDLEWARE
2010
Springer
15 years 6 months ago
The Gossple Anonymous Social Network
While social networks provide news from old buddies, you can learn a lot more from people you do not know, but with whom you share many interests. We show in this paper how to bui...
Marin Bertier, Davide Frey, Rachid Guerraoui, Anne...