Sciweavers

3639 search results - page 557 / 728
» Experiments on IPv6 Testing
Sort
View
CORR
2010
Springer
149views Education» more  CORR 2010»
13 years 9 months ago
Using Rough Set and Support Vector Machine for Network Intrusion Detection
The main function of IDS (Intrusion Detection System) is to protect the system, analyze and predict the behaviors of users. Then these behaviors will be considered an attack or a ...
Rung Ching Chen, Kai-Fan Cheng, Chia-Fen Hsieh
CORR
2008
Springer
66views Education» more  CORR 2008»
13 years 9 months ago
A Novel Approach to Formulae Production and Overconfidence Measurement to Reduce Risk in Spreadsheet Modelling
Research on formulae production in spreadsheets has established the practice as high risk yet unrecognised as such by industry. There are numerous software applications that are d...
Simon R. Thorne, David Ball, Zoe Lawson
CORR
2010
Springer
66views Education» more  CORR 2010»
13 years 9 months ago
Certifying cost annotations in compilers
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
Roberto M. Amadio, Nicholas Ayache, Yann Ré...
CORR
2008
Springer
155views Education» more  CORR 2008»
13 years 9 months ago
AceWiki: A Natural and Expressive Semantic Wiki
We present AceWiki, a prototype of a new kind of semantic wiki using the controlled natural language Attempto Controlled English (ACE) for representing its content. ACE is a subse...
Tobias Kuhn
CSDA
2010
165views more  CSDA 2010»
13 years 9 months ago
A two-component Weibull mixture to model early and late mortality in a Bayesian framework
A two component parametric mixture is proposed to model survival after an invasive treatment, when patients may experience different hazards regimes: a risk of early mortality dir...
Alessio Farcomeni, Alessandra Nardi