8446 search results - page 1529 / 1690 » A Process Compensation Language |
139
Voted
MM
2004
ACM
15 years 9 months ago
2004
ACM
Growing numbers of pervasive devices are gaining access to the Internet. However, much of the existing rich multimedia content cannot be handled by mobile client devices with limi...
114
Voted
SAC
2004
ACM
15 years 9 months ago
2004
ACM
This paper addresses the problem of “missing requirements” in software requirements specification (SRS) expressed in natural language. Due to rapid changes in technology and b...
107
Voted
SAC
2004
ACM
15 years 9 months ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...
132
Voted
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Abstract. We describe an architecture for building speech-enabled conversational agents, deployed as self-contained Web services, with ability to provide inference processing on ve...
116
Voted
CCS
2004
ACM
15 years 9 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...