1104 search results - page 102 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
ASM
2000
ASM
14 years 1 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
QOSA
2007
Springer
14 years 3 months ago
2007
Springer
Different organizations or organizational units are likely to store and maintain different types of information about their software architectures. This inhibits effective manageme...
BMCBI
2005
13 years 8 months ago
2005
Background: Biological resources are essential tools for biomedical research. Their availability is promoted through on-line catalogues. Common Access to Biological Resources and ...
ICPADS
2005
IEEE
14 years 2 months ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...