276 search results - page 46 / 56 » Security in Context: Analysis and Refinement of Software Arc... |
KBSE
2005
IEEE
14 years 28 days ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
GI
2005
Springer
14 years 26 days ago
2005
Springer
: A software application is related to the processes it supports. Today, UML diagrams esp. use case diagrams and activity diagrams are often used to model the relevant aspects of t...
SIGSOFT
2003
ACM
14 years 18 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
JUCS
2010
13 years 2 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
ECBS
1999
IEEE
13 years 11 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...