2214 search results - page 144 / 443 » Initial Design of the |
124
click to vote
PET
2010
Springer
15 years 7 months ago
2010
Springer
We present Drac, a system designed to provide anonymity and unobservability for real-time instant messaging and voice-over-IP communications against a global passive adversary. The...
120
click to vote
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
154
click to vote
AH
2008
Springer
15 years 5 months ago
2008
Springer
The evolution of learning systems brought improvements to the functionality of their components by offering support and mediating learning, communication and collaboration. However...
157
click to vote
CW
2005
IEEE
15 years 5 months ago
2005
IEEE
In the recent years, the usage of 3D cyberworlds for educational purposes has increased. The metaphors behind the design of virtual places are quite diverse, from replication of r...
139
Voted
OWLED
2007
15 years 5 months ago
2007
Taking care of an elderly in loss of cognitive autonomy is a challenging task. Artificial agents, such as the Telehealth Smart Home (TSH) system can facilitate that task. However,...