2500 search results - page 17 / 500 » Specifying Behavior in C |
IJBC
2006
13 years 9 months ago
2006
PAM
2010
Springer
13 years 11 months ago
2010
Springer
We estimate the number of active machines per hour infected with the Conficker-C worm, using a probability model of Conficker-C's UDP P2P scanning behavior. For an observer wi...
SAC
2000
ACM
14 years 22 days ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
COMPSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...