7619 search results - page 1474 / 1524 » Interaction, observance or both |
ACSAC
2002
IEEE
14 years 18 days ago
2002
IEEE
Active Spaces are physical spaces augmented with heterogeneous computing and communication devices along with supporting software infrastructure. This integration facilitates coll...
CSFW
2002
IEEE
14 years 18 days 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 ...
HICSS
2002
IEEE
14 years 17 days ago
2002
IEEE
: This research develops, operationalizes, and empirically tests a model for explaining/predicting the satisfaction of customers with Internet-based services in the context of an o...
ICNP
2002
IEEE
14 years 17 days ago
2002
IEEE
Despite a decade of research and development, multicast has not yet been deployed on a global scale. Among the difficulties with the current infrastructure are intermulticast fai...
VR
2002
IEEE
14 years 16 days ago
2002
IEEE
VRML97 allows the description of dynamic worlds that can change with both the passage of time, and user interaction. Unfortunately, the current VRML usage model prevents its full ...