{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:5X3XWFEEJP4KSEZUPIEAAK2KLJ","short_pith_number":"pith:5X3XWFEE","schema_version":"1.0","canonical_sha256":"edf77b14844bf8a913347a08002b4a5a7d81202bbbdadfe71ebbe58439c7abd6","source":{"kind":"arxiv","id":"1405.4699","version":1},"attestation_state":"computed","paper":{"title":"Cloud elasticity using probabilistic model checking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DC","authors_text":"Anastasios Gounaris, Athanasios Naskos, Dimitrios Tsoumakos, Emmanouela Stachtiari, Ioannis Konstantinou, Panagiotis Katsaros, Spyros Sioutas","submitted_at":"2014-05-19T12:47:16Z","abstract_excerpt":"Cloud computing has become the leading paradigm for deploying large-scale infrastructures and running big data applications, due to its capacity of achieving economies of scale. In this work, we focus on one of the most prominent advantages of cloud computing, namely the on-demand resource provisioning, which is commonly referred to as elasticity. Although a lot of effort has been invested in developing systems and mechanisms that enable elasticity, the elasticity decision policies tend to be designed without guaranteeing or quantifying the quality of their operation. This work aims to make th"},"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":"1405.4699","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-05-19T12:47:16Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4d4a7328e5e248b395a56797341ad2996ae52aff8a4c4210c23c9f3ab21d8325","abstract_canon_sha256":"8c4979578f084dd7e32df07567ce342251155ab1eeaa934845fbd67480387ad5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:51:34.853951Z","signature_b64":"GzCfu/sNpqxJtu7saMKOOI1ONbROODmYuGC8GtkBRorHLDRI/rmSJDU8zMVAk+fKX2ZF7lv1tCm417uJxk6oDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"edf77b14844bf8a913347a08002b4a5a7d81202bbbdadfe71ebbe58439c7abd6","last_reissued_at":"2026-05-18T02:51:34.853295Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:51:34.853295Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Cloud elasticity using probabilistic model checking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DC","authors_text":"Anastasios Gounaris, Athanasios Naskos, Dimitrios Tsoumakos, Emmanouela Stachtiari, Ioannis Konstantinou, Panagiotis Katsaros, Spyros Sioutas","submitted_at":"2014-05-19T12:47:16Z","abstract_excerpt":"Cloud computing has become the leading paradigm for deploying large-scale infrastructures and running big data applications, due to its capacity of achieving economies of scale. In this work, we focus on one of the most prominent advantages of cloud computing, namely the on-demand resource provisioning, which is commonly referred to as elasticity. Although a lot of effort has been invested in developing systems and mechanisms that enable elasticity, the elasticity decision policies tend to be designed without guaranteeing or quantifying the quality of their operation. This work aims to make th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.4699","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":"1405.4699","created_at":"2026-05-18T02:51:34.853402+00:00"},{"alias_kind":"arxiv_version","alias_value":"1405.4699v1","created_at":"2026-05-18T02:51:34.853402+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.4699","created_at":"2026-05-18T02:51:34.853402+00:00"},{"alias_kind":"pith_short_12","alias_value":"5X3XWFEEJP4K","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_16","alias_value":"5X3XWFEEJP4KSEZU","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_8","alias_value":"5X3XWFEE","created_at":"2026-05-18T12:28:16.859392+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/5X3XWFEEJP4KSEZUPIEAAK2KLJ","json":"https://pith.science/pith/5X3XWFEEJP4KSEZUPIEAAK2KLJ.json","graph_json":"https://pith.science/api/pith-number/5X3XWFEEJP4KSEZUPIEAAK2KLJ/graph.json","events_json":"https://pith.science/api/pith-number/5X3XWFEEJP4KSEZUPIEAAK2KLJ/events.json","paper":"https://pith.science/paper/5X3XWFEE"},"agent_actions":{"view_html":"https://pith.science/pith/5X3XWFEEJP4KSEZUPIEAAK2KLJ","download_json":"https://pith.science/pith/5X3XWFEEJP4KSEZUPIEAAK2KLJ.json","view_paper":"https://pith.science/paper/5X3XWFEE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1405.4699&json=true","fetch_graph":"https://pith.science/api/pith-number/5X3XWFEEJP4KSEZUPIEAAK2KLJ/graph.json","fetch_events":"https://pith.science/api/pith-number/5X3XWFEEJP4KSEZUPIEAAK2KLJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5X3XWFEEJP4KSEZUPIEAAK2KLJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5X3XWFEEJP4KSEZUPIEAAK2KLJ/action/storage_attestation","attest_author":"https://pith.science/pith/5X3XWFEEJP4KSEZUPIEAAK2KLJ/action/author_attestation","sign_citation":"https://pith.science/pith/5X3XWFEEJP4KSEZUPIEAAK2KLJ/action/citation_signature","submit_replication":"https://pith.science/pith/5X3XWFEEJP4KSEZUPIEAAK2KLJ/action/replication_record"}},"created_at":"2026-05-18T02:51:34.853402+00:00","updated_at":"2026-05-18T02:51:34.853402+00:00"}