Sciweavers

6834 search results - page 213 / 1367
» Informal communication in collaboratories
Sort
View
CPP
2011
99views more  CPP 2011»
14 years 6 months ago
Proof-Carrying Code in a Session-Typed Process Calculus
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
Frank Pfenning, Luís Caires, Bernardo Tonin...
CAISE
2003
Springer
15 years 11 months ago
Towards a Component based Privacy Protector Architecture
The development of mobile communication technology and ubiquitous computing paradigm and the emergence of m-healthcare, m-business and m-education services have raised the urgency ...
Amr Ali Eldin, René W. Wagenaar
IPCCC
2007
IEEE
16 years 27 days ago
A Reliable Wireless Mesh Infrastructure Deployment at Crisis Site
Emergency communication infrastructure should allow fast and reliable information dissemination to assist community and ease mitigation activities. Failure in communication networ...
Raheleh B. Dilmaghani, Ramesh R. Rao
CRYPTO
2012
Springer
223views Cryptology» more  CRYPTO 2012»
13 years 9 months ago
Collusion-Preserving Computation
In collusion-free protocols, subliminal communication is impossible and parties are thus unable to communicate “any information beyond what the protocol allows”. Collusion-fre...
Joël Alwen, Jonathan Katz, Ueli Maurer, Vassi...
GROUP
2005
ACM
16 years 4 days ago
A survey of collaborative information seeking practices of academic researchers
Information seeking and management practices are an integral aspect of people’s daily work. However, we still have little understanding of collaboration in the information seeki...
Patricia Ruma Spence, Madhu C. Reddy, Richard Hall