570 search results - page 103 / 114 » From Program Verification to Program Synthesis |
WWW
2006
ACM
14 years 11 months ago
2006
ACM
In this paper, we present a system we have developed for automatic TV News video indexing that successfully combines results from the fields of speaker verification, acoustic anal...
WWW
2004
ACM
14 years 11 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
ACMSE
2006
ACM
14 years 4 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
ACMSE
2007
ACM
14 years 2 months ago
2007
ACM
Many strategies have been proposed to address the problems associated with managing increasingly complex computing systems. IBM's Autonomic Computing (AC) paradigm is one suc...
FLOPS
2006
Springer
14 years 2 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...