2004 search results - page 185 / 401 » Comparison of Model Checking Tools for Information Systems |
179
click to vote
ICSE
1998
IEEE-ACM
15 years 10 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
210
click to vote
CIMCA
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper compares the performance of two provably successful evolutionary optimization tools in the optimization of a Fuzzy-Rule-Base (FRB) for the three well known fuzzy modeli...
157
click to vote
DSN
2007
IEEE
16 years 15 days ago
2007
IEEE
Nowadays, economy, security and quality of life heavily depend on the resiliency of a number of critical infrastructures, including the Electric Power System (EPS), through which ...
160
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Recent work in applying causal modeling (Bayesian networks) to software engineering has resulted in improved decision support systems for software project managers. Once the causa...
173
click to vote
KDD
1997
ACM
15 years 10 months ago
1997
ACM
MineSetTM , Silicon Graphics’ interactive system for data mining, integrates three powerful technologies: database access, analytical data mining, and data visualization. It sup...