746 search results - page 89 / 150 » Formal Analysis of UML-Based Designs |
122
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
114
click to vote
ECMDAFA
2005
Springer
15 years 7 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
123
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
115
click to vote
SP
2000
IEEE
15 years 6 months ago
2000
IEEE
Today, even a moderately sized corporate intranet contains multiple firewalls and routers, which are all used to enforce various aspects of the global corporate security policy. ...
116
click to vote
IJNSEC
2007
15 years 1 months ago
2007
It is generally agreed that two key points always attract special concerns during the modelling of anomaly-based intrusion detection. One is the techniques about discerning two cl...