753 search results - page 16 / 151 » Fragments-based Model Reduction: Some Case Studies |
KDD
2005
ACM
14 years 9 months ago
2005
ACM
Machine learning and data mining can be effectively used to model, classify and discover interesting information for a wide variety of data including email. The Email Mining Toolk...
JCS
2010
13 years 3 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
SIMULATION
2011
13 years 3 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
ASWEC
2007
IEEE
14 years 24 days ago
2007
IEEE
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
APCSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
Virtual multicasting (VMC) combines some of the benefits of caching (transparency, dynamic adaptation to workload) and multicasting (reducing duplicated traffic). Virtual multicas...