1078 search results - page 127 / 216 » Modelling and Verifying of e-Commerce Systems |
159
click to vote
POPL
2012
ACM
14 years 1 days ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
148
click to vote
RAID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
129
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
174
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
126
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...