2467 search results - page 368 / 494 » Finite State Machines |
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
The problem of finding the most appropriate subset of features or regressors is the generic challenge of Machine Learning problems like regression estimation or pattern recognitio...
131
Voted
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
137
Voted
SCESM
2006
ACM
15 years 6 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
121
Voted
CASSIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
144
click to vote
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...