{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:QJR6JHDCG72RHWJUVR5ZYNUSKY","short_pith_number":"pith:QJR6JHDC","schema_version":"1.0","canonical_sha256":"8263e49c6237f513d934ac7b9c3692560448ebe90be6c28b698013bbcc6bdb2c","source":{"kind":"arxiv","id":"1810.07274","version":1},"attestation_state":"computed","paper":{"title":"Mathematical Modeling of Routes Maintenance and Recovery Procedure for MANETs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.NI","authors_text":"Ahsan Humayun, Tahreem Saeed, Tariq Rafiq, Zafar Iqbal","submitted_at":"2018-09-24T03:57:11Z","abstract_excerpt":"Routing is one of the most mysterious issues from the birth of networks up till now. Designing routing protocols for Mobile Ad hoc Networks (MANETs) is a complicated task because unpredictable mobility patterns of mobile nodes greatly effect routing decisions. Various routing protocols are designed to improve this very problem. Different simulator based routing protocols are designed but these protocols might fail during deployment because of the testing procedures of simulators. In this study, a novel formal model for routes management is proposed for MANETs. Formal methods are the most novel"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1810.07274","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2018-09-24T03:57:11Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"e31cc4b5fd799fe8c9f2c2af548ccd1c342b113e64c39abbdac1fb13a59fd46e","abstract_canon_sha256":"969161716b6e8b266967f40b7abef03f78bfbfe82984c27334858984451feb48"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:02:58.968233Z","signature_b64":"eM+NjubK5akB/tq8XZBl5hTo9C8+JilL5KL+xOI4hYsPjyTTn3F/5k/mu1+N2pKuqZxUACs6apref2y+bNHcAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8263e49c6237f513d934ac7b9c3692560448ebe90be6c28b698013bbcc6bdb2c","last_reissued_at":"2026-05-18T00:02:58.967608Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:02:58.967608Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Mathematical Modeling of Routes Maintenance and Recovery Procedure for MANETs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.NI","authors_text":"Ahsan Humayun, Tahreem Saeed, Tariq Rafiq, Zafar Iqbal","submitted_at":"2018-09-24T03:57:11Z","abstract_excerpt":"Routing is one of the most mysterious issues from the birth of networks up till now. Designing routing protocols for Mobile Ad hoc Networks (MANETs) is a complicated task because unpredictable mobility patterns of mobile nodes greatly effect routing decisions. Various routing protocols are designed to improve this very problem. Different simulator based routing protocols are designed but these protocols might fail during deployment because of the testing procedures of simulators. In this study, a novel formal model for routes management is proposed for MANETs. Formal methods are the most novel"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.07274","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1810.07274","created_at":"2026-05-18T00:02:58.967700+00:00"},{"alias_kind":"arxiv_version","alias_value":"1810.07274v1","created_at":"2026-05-18T00:02:58.967700+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.07274","created_at":"2026-05-18T00:02:58.967700+00:00"},{"alias_kind":"pith_short_12","alias_value":"QJR6JHDCG72R","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_16","alias_value":"QJR6JHDCG72RHWJU","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_8","alias_value":"QJR6JHDC","created_at":"2026-05-18T12:32:46.962924+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/QJR6JHDCG72RHWJUVR5ZYNUSKY","json":"https://pith.science/pith/QJR6JHDCG72RHWJUVR5ZYNUSKY.json","graph_json":"https://pith.science/api/pith-number/QJR6JHDCG72RHWJUVR5ZYNUSKY/graph.json","events_json":"https://pith.science/api/pith-number/QJR6JHDCG72RHWJUVR5ZYNUSKY/events.json","paper":"https://pith.science/paper/QJR6JHDC"},"agent_actions":{"view_html":"https://pith.science/pith/QJR6JHDCG72RHWJUVR5ZYNUSKY","download_json":"https://pith.science/pith/QJR6JHDCG72RHWJUVR5ZYNUSKY.json","view_paper":"https://pith.science/paper/QJR6JHDC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1810.07274&json=true","fetch_graph":"https://pith.science/api/pith-number/QJR6JHDCG72RHWJUVR5ZYNUSKY/graph.json","fetch_events":"https://pith.science/api/pith-number/QJR6JHDCG72RHWJUVR5ZYNUSKY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QJR6JHDCG72RHWJUVR5ZYNUSKY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QJR6JHDCG72RHWJUVR5ZYNUSKY/action/storage_attestation","attest_author":"https://pith.science/pith/QJR6JHDCG72RHWJUVR5ZYNUSKY/action/author_attestation","sign_citation":"https://pith.science/pith/QJR6JHDCG72RHWJUVR5ZYNUSKY/action/citation_signature","submit_replication":"https://pith.science/pith/QJR6JHDCG72RHWJUVR5ZYNUSKY/action/replication_record"}},"created_at":"2026-05-18T00:02:58.967700+00:00","updated_at":"2026-05-18T00:02:58.967700+00:00"}