Sciweavers

2705 search results - page 376 / 541
» Privacy in Data Mining Using Formal Methods
Sort
View
SOFTVIS
2010
ACM
15 years 6 months ago
Towards anomaly comprehension: using structural compression to navigate profiling call-trees
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
Shen Lin 0003, François Taïani, Thomas...
PROCEDIA
2010
157views more  PROCEDIA 2010»
15 years 4 months ago
Recommender system for predicting student performance
Recommender systems are widely used in many areas, especially in e-commerce. Recently, they are also applied in e-learning tasks such as recommending resources (e.g. papers, books...
Nguyen Thai-Nghe, Lucas Drumond, Artus Krohn-Grimb...
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
16 years 15 days ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
SIGSOFT
2011
ACM
15 years 1 months ago
Modeling a distributed intrusion detection system using collaborative building blocks
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
Linda Ariani Gunawan, Michael Vogel, Frank Alexand...
SC
2005
ACM
15 years 12 months ago
Bridging the Macro and Micro: A Computing Intensive Earthquake Study Using Discovery Net
We present the development and use of a novel distributed geohazard modeling environment for the analysis and interpretation of large scale earthquake data sets. Our work demonstr...
Yike Guo, Jian Guo Liu, Moustafa Ghanem, Kyran Mis...