5475 search results - page 111 / 1095 » Model Driven Security |
78
Voted
EDOC
2005
IEEE
15 years 6 months ago
2005
IEEE
ICEIS
2005
IEEE
15 years 6 months ago
2005
IEEE
79
Voted
IEEECIT
2005
IEEE
15 years 6 months ago
2005
IEEE
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
Traditional techniques for building dependable, highperformance distributed systems are too expensive for most non-critical systems, often causing dependability to be sidelined as...
124
click to vote
ISORC
2005
IEEE
15 years 6 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...