348 search results - page 11 / 70 » Verification of Language Based Fault-Tolerance |
ICASSP
2009
IEEE
14 years 1 months ago
2009
IEEE
We show how an SVM based acoustic speaker verification system can be significantly improved in incorporating new visual features that capture the speaker’s “Body Language.” ...
PST
2008
13 years 8 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
ATAL
2008
Springer
13 years 8 months ago
2008
Springer
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...
CSCWD
2001
Springer
13 years 11 months ago
2001
Springer
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
ICFP
2003
ACM
2003
ACM
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
14 years 6 months ago
We report on work in progress devoted to the formalization of an Ordered Logical Framework (OLF) based on a two-level architecture [8] in the Hybrid system. OLF here is a second-or...