2454 search results - page 407 / 491 » Privacy in the Information and Communications Technologies |
LATIN
2010
Springer
15 years 4 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
OZCHI
2009
ACM
15 years 4 months ago
2009
ACM
This paper describes a two-year research study that piloted and evaluated the use of low-cost, low-bandwidth Information and Communications Technology (ICT) to support meetings be...
SENSYS
2009
ACM
15 years 4 months ago
2009
ACM
We describe the design, deployment, and experience with a wireless sensor network for high-fidelity monitoring of electrical usage in buildings. A network of 38 mote-class AC met...
100
click to vote
IV
2009
IEEE
15 years 4 months ago
2009
IEEE
Interactive 3D geovirtual environments (GeoVE), such as 3D virtual city and landscape models, are important tools to communicate geo-spatial information. Usually, this includes st...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
A voting system is a set of rules that a community adopts to take collective decisions. In this paper we study voting systems for a particular kind of community: electronically me...