10159 search results - page 173 / 2032 » System Design Validation Using Formal Models |
108
Voted
WSC
1998
15 years 3 months ago
1998
The validity and usefulness of system simulation has been well-established for decades in areas such as computer and communications systems, general manufacturing systems, and mil...
132
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Innovative extensions of (M) ANOVA gain common ground for the analysis of designed metabolomics experiments. ASCA is such a multivariate analysis method; it has succes...
141
Voted
ICFEM
1997
Springer
15 years 6 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
117
Voted
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
131
click to vote
RTS
2006
15 years 2 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...