975 search results - page 174 / 195 » Feature Interaction Problem in Computer-Telephony Integratio... |
CSFW
2002
IEEE
15 years 4 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
119
click to vote
COMSWARE
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...
DT
2000
14 years 11 months ago
2000
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
HUC
2010
Springer
14 years 9 months ago
2010
Springer
Life-log systems have a wide range of usages from memory augmentation to health monitoring. Recent advances in pervasive devices and sensor networks enable us to create tools that...
ACMDIS
2006
ACM
15 years 5 months ago
2006
ACM
Text-based interpersonal communication tools such as instant messenger are widely used today. These tools often feature emoticons that people use to express emotion to some degree...