329 search results - page 50 / 66 » Design for verification for asynchronously communicating Web... |
NORDICHI
2004
ACM
14 years 1 months ago
2004
ACM
Previous research has sought to utilize everyday messaging metaphors, such as the notice board, in location-based messaging systems. Unfortunately, many of the restrictions associ...
EUROMICRO
1997
IEEE
13 years 12 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
FLOPS
2006
Springer
13 years 11 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
In this paper we propose the integration of intelligent components technologies (natural language and discourse management) in voice web interfaces to make them smarter. We descri...
CONCURRENCY
2007
13 years 7 months ago
2007
Component frameworks, including those that support the Common Component Architecture (CCA), represent a promising approach to addressing this challenge, one that is being realized...