3765 search results - page 359 / 753 » Formal Methods for Systems Engineering Behavior Models |
166
click to vote
IFSA
2003
Springer
15 years 12 months ago
2003
Springer
In fuzzy modeling (FM), the quantity and quality of the training set is crucial to properly grasp the behavior of the system being modeled. However, the available data are often n...
168
click to vote
GLVLSI
2006
IEEE
16 years 25 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
176
click to vote
IISWC
2006
IEEE
16 years 24 days ago
2006
IEEE
Workload characterization involves the understanding of the relationship between workload configurations and performance characteristics. To better assess the complexity of worklo...
213
click to vote
RAID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a novel framework of autonomic intrusion detection that fulfills online and adaptive intrusion detection in unlabeled audit data streams. The framework owns a...
179
click to vote
ACSD
2006
IEEE
16 years 26 days ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...