5423 search results - page 78 / 1085 » Denial-of-service in automation systems |
297
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
162
click to vote
WSC
2008
15 years 8 months ago
2008
In the automotive area, a huge number of different technologies were developed in the last couples of years. The car manufacturers have to meet the challenge of selecting the most...
183
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
It is a well known fact that a wealth of knowledge relies in the employees which makes them one of the most or even the most valuable asset of organisations. But often this knowled...
195
click to vote
ECSA
2008
Springer
2008
Springer
Automating Architecture Trade-Off Decision Making through a Complex Multi-attribute Decision Process
15 years 8 months ago
A typical software architecture design process requires the architects to make various trade-off architecture decisions. The architects need to consider different possibilities and...
163
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Government regulations are increasingly affecting the security, privacy and governance of information systems in the United States, Europe and elsewhere. Consequently, co...