Sciweavers

4455 search results - page 67 / 891
» The family and communication technologies
Sort
View
PST
2008
15 years 1 months ago
Encoding the Program Correctness Proofs as Programs in PCC Technology
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
Heidar Pirzadeh, Danny Dubé
ACMIDC
2009
14 years 9 months ago
Developing a media space for remote synchronous parent-child interaction
While supporting family communication has traditionally been a domain of interest for interaction designers, few research initiatives have explicitly investigated remote synchrono...
Svetlana Yarosh, Stephen Cuzzort, Hendrik Mül...
CHI
1997
ACM
15 years 4 months ago
inTouch: A Medium for Haptic Interpersonal Communication
In this paper, we introduce a new approach for applying haptic feedback technology to interpersonal communication. We present the design of our prototype inTouch system which prov...
Scott Brave, Andrew Dahley
ASYNC
2006
IEEE
86views Hardware» more  ASYNC 2006»
15 years 6 months ago
An Asynchronous High-Throughput Control Circuit For Proximity Communication
We describe an asynchronous control circuit for interchip communication that enables high throughput proximity communication. The circuit has been fabricated in TSMC 180nm technol...
Jo C. Ebergen, Alex Chow, Bill Coates, Justin Scha...
NOMS
1998
IEEE
133views Communications» more  NOMS 1998»
15 years 4 months ago
ATM customer network management using WWW and CORBA technologies
In this paper, we present a framework for managing ATM customer networks using WWW and CORBA technologies. The WWW technology may provide network management operators with platfor...
Jong-Wook Baek, Tae-Joon Ha, Jong-Tae Park, James ...