26957 search results - page 445 / 5392 » Information Systems Modernization |
174
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
181
click to vote
NOLISP
2005
Springer
16 years 10 days ago
2005
Springer
The best performing systems in the area of automatic speaker recognition have focused on using short-term, low-level acoustic information, such as sepstral features. Recently, vari...
151
click to vote
CSR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we consider the decidability of two problems related to information flow in a system with respect to some property. A flow occurs in a system if the conditional pr...