22358 search results - page 4174 / 4472 » Software Performance Engineering |
131
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
159
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
![Hydra: a hybrid recommender system [cross-linked rating and content information]](https://www.sciweavers.org/files/imagecache/thumbnail/imagecache/hydra_a_hybrid_recommender_system_cross_linked_rating_and_content_information_CIKM_2009.jpg "Hydra: a hybrid recommender system [cross-linked rating and content information]")
This paper discusses the combination of collaborative and contentbased filtering in the context of web-based recommender systems. In particular, we link the well-known MovieLens ...
163
click to vote
ICICS
2009
Springer
15 years 10 months ago
2009
Springer
We propose a novel approach for statistical risk modeling of network attacks that lets an operator perform risk analysis using a data model and an impact model on top of an attack ...
144
click to vote
ISMIS
2009
Springer
15 years 10 months ago
2009
Springer
Workflow mining aims to find graph-based process models based on activities, emails, and various event logs recorded in computer systems. Current workflow mining techniques mainly ...
135
click to vote
JSSPP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper describes a new and novel scheme for job admission and resource allocation employed by the SODA scheduler in System S. Capable of processing enormous quantitie...