3387 search results - page 519 / 678 » Automating the Metamodeling Process |
171
click to vote
HYBRID
2010
Springer
16 years 27 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
194
click to vote
APSCC
2008
IEEE
16 years 27 days ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
170
click to vote
CEC
2008
IEEE
16 years 27 days ago
2008
IEEE
— The high-level synthesis process involves three interdependent and NP-complete optimization problems: (i) the operation scheduling, (ii) the resource allocation, and (iii) the ...
168
click to vote
DATE
2008
IEEE
16 years 26 days ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
161
click to vote
DSN
2008
IEEE
16 years 26 days ago
2008
IEEE
This research investigates the automation of security assessment of the static and dynamic properties of cyberinfrastructures, with emphasis on the electrical power grid. We descr...