Sciweavers

2989 search results - page 182 / 598
» Using Domain-Independent Problems for Introducing Formal Met...
Sort
View
TSMC
2011
210views more  TSMC 2011»
14 years 5 months ago
Fault Diagnosis in Discrete-Event Systems: Incomplete Models and Learning
— Most state-based approaches to fault diagnosis of discrete-event systems require a complete and accurate model of the system to be diagnosed. In this paper, we address the prob...
Raymond H. Kwong, David L. Yonge-Mallo
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 3 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 3 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
SP
1996
IEEE
116views Security Privacy» more  SP 1996»
15 years 2 months ago
Defining Noninterference in the Temporal Logic of Actions
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...
Todd Fine
COMCOM
1999
78views more  COMCOM 1999»
14 years 9 months ago
A complete test sequence using cyclic sequence for conformance testing
We present a problem of commonly used characterization sequences (CS) for the protocol conformance testing and propose a new test sequence to resolve the problem. The proposed tes...
DaeHun Nyang, S. Y. Lim, JooSeok Song