{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:73S7U5JFZONNX55RRKCARRGZRI","short_pith_number":"pith:73S7U5JF","schema_version":"1.0","canonical_sha256":"fee5fa7525cb9adbf7b18a8408c4d98a1caab65a8b511814d731dd644f12cf8a","source":{"kind":"arxiv","id":"1704.04378","version":1},"attestation_state":"computed","paper":{"title":"Weaving Rules into Models@run.time for Embedded Smart Systems","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Fran\\c{c}ois Fouquet, Johann Bourcier, Ludovic Mouline, Olivier Barais, Thomas Hartmann, Yves Le Traon","submitted_at":"2017-04-14T09:58:15Z","abstract_excerpt":"Smart systems are characterised by their ability to analyse measured data in live and to react to changes according to expert rules. Therefore, such systems exploit appropriate data models together with actions, triggered by domain-related conditions. The challenge at hand is that smart systems usually need to process thousands of updates to detect which rules need to be triggered, often even on restricted hardware like a Raspberry Pi. Despite various approaches have been investigated to efficiently check conditions on data models, they either assume to fit into main memory or rely on high lat"},"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":"1704.04378","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2017-04-14T09:58:15Z","cross_cats_sorted":[],"title_canon_sha256":"ca0b6fa1fd581d7adb1abbee0deb8a74de022b3ea94880a0b5fbed7e47a65b95","abstract_canon_sha256":"53a2f076e04d1c70d7a6007b2612f4b52a05cc1f6fe05e7c376425163d3db83d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:45:29.882973Z","signature_b64":"o2D1IbikXM2GZCmUuyfNZfV/px2oy1NdlP+4Vb+xuSK5+sf2QnJOc9z+KQ8ZMeZtE3GZOPUhOJ3vI86ZAiPnCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fee5fa7525cb9adbf7b18a8408c4d98a1caab65a8b511814d731dd644f12cf8a","last_reissued_at":"2026-05-18T00:45:29.882417Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:45:29.882417Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Weaving Rules into Models@run.time for Embedded Smart Systems","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Fran\\c{c}ois Fouquet, Johann Bourcier, Ludovic Mouline, Olivier Barais, Thomas Hartmann, Yves Le Traon","submitted_at":"2017-04-14T09:58:15Z","abstract_excerpt":"Smart systems are characterised by their ability to analyse measured data in live and to react to changes according to expert rules. Therefore, such systems exploit appropriate data models together with actions, triggered by domain-related conditions. The challenge at hand is that smart systems usually need to process thousands of updates to detect which rules need to be triggered, often even on restricted hardware like a Raspberry Pi. Despite various approaches have been investigated to efficiently check conditions on data models, they either assume to fit into main memory or rely on high lat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.04378","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":"1704.04378","created_at":"2026-05-18T00:45:29.882497+00:00"},{"alias_kind":"arxiv_version","alias_value":"1704.04378v1","created_at":"2026-05-18T00:45:29.882497+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.04378","created_at":"2026-05-18T00:45:29.882497+00:00"},{"alias_kind":"pith_short_12","alias_value":"73S7U5JFZONN","created_at":"2026-05-18T12:31:03.183658+00:00"},{"alias_kind":"pith_short_16","alias_value":"73S7U5JFZONNX55R","created_at":"2026-05-18T12:31:03.183658+00:00"},{"alias_kind":"pith_short_8","alias_value":"73S7U5JF","created_at":"2026-05-18T12:31:03.183658+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/73S7U5JFZONNX55RRKCARRGZRI","json":"https://pith.science/pith/73S7U5JFZONNX55RRKCARRGZRI.json","graph_json":"https://pith.science/api/pith-number/73S7U5JFZONNX55RRKCARRGZRI/graph.json","events_json":"https://pith.science/api/pith-number/73S7U5JFZONNX55RRKCARRGZRI/events.json","paper":"https://pith.science/paper/73S7U5JF"},"agent_actions":{"view_html":"https://pith.science/pith/73S7U5JFZONNX55RRKCARRGZRI","download_json":"https://pith.science/pith/73S7U5JFZONNX55RRKCARRGZRI.json","view_paper":"https://pith.science/paper/73S7U5JF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1704.04378&json=true","fetch_graph":"https://pith.science/api/pith-number/73S7U5JFZONNX55RRKCARRGZRI/graph.json","fetch_events":"https://pith.science/api/pith-number/73S7U5JFZONNX55RRKCARRGZRI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/73S7U5JFZONNX55RRKCARRGZRI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/73S7U5JFZONNX55RRKCARRGZRI/action/storage_attestation","attest_author":"https://pith.science/pith/73S7U5JFZONNX55RRKCARRGZRI/action/author_attestation","sign_citation":"https://pith.science/pith/73S7U5JFZONNX55RRKCARRGZRI/action/citation_signature","submit_replication":"https://pith.science/pith/73S7U5JFZONNX55RRKCARRGZRI/action/replication_record"}},"created_at":"2026-05-18T00:45:29.882497+00:00","updated_at":"2026-05-18T00:45:29.882497+00:00"}