{"id":"W2164687814","doi":"10.1002/spe.1029","title":"The CoreASM modeling framework","year":2011,"lang":"en","type":"article","venue":"Software Practice and Experience","topic":"Distributed and Parallel Computing Systems","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University; Defence Research and Development Canada","funders":"","keywords":"Computer science; Key (lock); Software engineering; Systems engineering; Set (abstract data type); Data science; Management science; Engineering; Programming language; Computer security","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004789886,0.0009997835,0.0006965031,0.00157043,0.001120416,0.004504166,0.004611671,0.001914187,0.009993297],"category_scores_gemma":[0.005751842,0.0008812702,0.001574099,0.001105824,0.00160113,0.004464246,0.004469789,0.002444203,0.003614619],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002206661,"about_ca_system_score_gemma":0.005655326,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006406826,"about_ca_topic_score_gemma":0.006649268,"domain_scores_codex":[0.99753,0.001053978,0.0001499129,0.000266484,0.0008032078,0.0001964203],"domain_scores_gemma":[0.9978085,0.0006123192,0.0001559856,0.0005726623,0.0007196866,0.0001309156],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002173648,0.00002366469,0.0003770392,0.0001416865,0.00001707203,0.00008535118,0.0002920853,0.02071292,0.0005717262,0.945132,0.008371158,0.02425346],"study_design_scores_gemma":[0.00004456453,0.00004424894,0.0002039691,0.0003211369,0.00002852059,0.0001658189,0.0002063749,0.2145569,0.001785076,0.4194932,0.3631152,0.00003497723],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002366212,0.0001891726,0.9600089,0.001221804,0.00007645307,0.000218151,0.000561621,0.003117253,0.03224045],"genre_scores_gemma":[0.1100631,0.0007167173,0.8625296,0.0007387113,0.0001383296,0.001358664,0.002205896,0.001276348,0.02097256],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009993297,"threshold_uncertainty_score":0.03343087,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04228456517063216,"score_gpt":0.2829391912181352,"score_spread":0.240654626047503,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}