3193 search results - page 247 / 639 » A Security Risk Analysis Model for Information Systems |
202
click to vote
SIGSOFT
2009
ACM
16 years 8 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
205
click to vote
GFKL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
196
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
208
click to vote
WISE
2007
Springer
16 years 1 months ago
2007
Springer
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
205
click to vote
ECRTS
2002
IEEE
16 years 7 days ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...