4516 search results - page 322 / 904 » Automated System Design for Availability |
176
click to vote
DLOG
2009
15 years 4 months ago
2009
The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...
165
click to vote
ITNG
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...
180
click to vote
SAMOS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Embedded systems are special purpose systems which perform predefined tasks with very specific requirements like high performance, low volume or low power. Most of the ...
196
click to vote
IEEEINTERACT
2002
IEEE
15 years 11 months ago
2002
IEEE
Embedded systems require control of many concurrent real-time activities, leading to system designs which feature multiple hardware peripherals with each providing a specific, ded...
232
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...