2533 search results - page 146 / 507 » Supporting Generalized Context Interactions |
CHI
2011
ACM
13 years 1 months ago
2011
ACM
Providing good education is one of the major challenges for humanity. In many developing regions in the world improving educational standards is seen as a central building block f...
HUC
2011
Springer
12 years 9 months ago
2011
Springer
We live in a world where many kinds of data about us can be collected and more will be collected as Ubicomp technologies mature. People reflect on this data using different tools ...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
HICSS
1997
IEEE
14 years 2 months ago
1997
IEEE
The phrase "virtual community" is often used to describe long term, computer-mediated conversations amongst large groups. This paper suggests that such conversations may...
SIGCOMM
1995
ACM
14 years 1 months ago
1995
ACM
Reliable multicast communication is important in large-scale distributed applications. For example, reliable multicast is used to transmit terrain and environmental updates in dis...