4250 search results - page 125 / 850 » Understanding the Requirements on Modelling Techniques |
ICAIL
2007
ACM
14 years 1 months ago
2007
ACM
Laws set requirements that force organizations to assess the security and privacy of their IT systems and impose the adoption of the implementation of minimal precautionary securi...
AGTIVE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
PEWASUN
2005
ACM
14 years 2 months ago
2005
ACM
An experimental study of MANET using 802.11b has shown that there exist several configurations where this standard does not guarantee fairness for the channel access. In this pap...
BMCBI
2010
13 years 9 months ago
2010
Background: The omics fields promise to revolutionize our understanding of biology and biomedicine. However, their potential is compromised by the challenge to analyze the huge da...
COMPSAC
2004
IEEE
14 years 27 days ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...