1914 search results - page 84 / 383 » Verification by Abstract Interpretation |
102
click to vote
CIARP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The implementation of a pseudo text-independent Speaker Verification system is described. This system was designed to use only information extracted directly from the cod...
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
138
Voted
TACAS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
123
click to vote
FORTE
2009
14 years 10 months ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
111
click to vote
ICWE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...