2407 search results - page 434 / 482 » A Tool for Abstraction in Model Checking |
ECTEL
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The libre software development model has shown how combining collective intelligence can lead to revolutionary methods that underpin major software advancements. This pap...
AUSAI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The much-publicized Netflix competition has put the spotlight on the application domain of collaborative filtering and has sparked interest in machine learning algorithms...
FMOODS
2003
14 years 11 months ago
2003
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...
ECIS
2000
14 years 11 months ago
2000
Abstract-The information era has brought with it the wellknown problem of 'Information Explosion'. There are many and varied search engines on the Internet but it is stil...
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...