14331 search results - page 303 / 2867 » On the modeling and analysis of obligations |
146
click to vote
EPEW
2008
Springer
15 years 8 months ago
2008
Springer
We apply performance analysis techniques to a biological modelling problem, that of capturing and reproducing the Circadian rhythm. A Circadian rhythm provides cells with a clock b...
185
click to vote
CN
2006
15 years 6 months ago
2006
In this paper, we perform a stochastic analysis of the packet-pair technique, which is a widely used method for estimating the network bandwidth in an end-to-end manner. There has...
187
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
170
click to vote
SIGSOFT
2004
ACM
16 years 4 days ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
165
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...