14331 search results - page 150 / 2867 » On the modeling and analysis of obligations |
174
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a novel method for addressing the model selection problem in the context of kernel methods. In contrast to existing methods which rely on hold-out testing or t...
189
click to vote
ICWS
2010
IEEE
15 years 7 months ago
2010
IEEE
The ever-growing choice in diverse services is making service orchestration variability an essential aspect of a composite web service. Influence of this variation on the Quality o...
175
click to vote
IJNSEC
2007
15 years 6 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...
210
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: An important challenge for transcript counting methods such as Serial Analysis of Gene Expression (SAGE), "Digital Northern" or Massively Parallel Signature ...
158
click to vote
PLDI
2006
ACM
16 years 11 days 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...