25218 search results - page 293 / 5044 » A Logic-Based Information System |
134
Voted
HICSS
2003
IEEE
16 years 22 days ago
2003
IEEE
157
Voted
HICSS
2003
IEEE
16 years 22 days ago
2003
IEEE
188
Voted
ARCS
2006
Springer
15 years 11 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...
203
click to vote
NOLISP
2005
Springer
16 years 28 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...
171
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...