2255 search results - page 259 / 451 » High Assurance Software Systems |
197
click to vote
ACSAC
2007
IEEE
16 years 27 days ago
2007
IEEE
The growth of the applications and services market for mobile devices is currently slowed down by the lack of a flexible and reliable security infrastructure. The development and...
160
click to vote
IAT
2007
IEEE
16 years 27 days ago
2007
IEEE
Although speech recognition systems have become more reliable in recent years, they are still highly error-prone. Other components of a spoken language dialogue system must then b...
150
click to vote
HOTOS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes the vision of the Collective, a compute utility which runs internet services as well as the highly interactive applications we run on desktop computers today....
186
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
159
click to vote
USENIX
1996
15 years 7 months ago
1996
: This paper discussesthedesignandperformance of a hierarchical proxy-cache designed to make Internet information systems scale better. The design was motivated by our earlier trac...