{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:4O2OERO4L63ZUNUGLMC3DN5ZIF","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"4e06ecb14fdcede7fe5b522b6c77a88326c515e530e91a965f087d52cb7bb4a2","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-03-29T07:49:42Z","title_canon_sha256":"2f3a96a4cf548b3dbe12749b1030075423b9c89232bb7f48e1c7d06e1147a6c5"},"schema_version":"1.0","source":{"id":"1203.6459","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.6459","created_at":"2026-05-18T03:59:02Z"},{"alias_kind":"arxiv_version","alias_value":"1203.6459v1","created_at":"2026-05-18T03:59:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.6459","created_at":"2026-05-18T03:59:02Z"},{"alias_kind":"pith_short_12","alias_value":"4O2OERO4L63Z","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"4O2OERO4L63ZUNUG","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"4O2OERO4","created_at":"2026-05-18T12:26:53Z"}],"graph_snapshots":[{"event_id":"sha256:2da05273e5338686ef624fe8864da7c8c8d268bb6e965838f3b62837dd0e611d","target":"graph","created_at":"2026-05-18T03:59:02Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge involves coping with heterogeneous devices, overcoming the intricacies of distributed systems technologies, working out an architecture for the application, encoding it in a program, writing specific code to test the application, and finally deploying it. This paper presents a design language and a tool suite covering the development life-cycle of a pervasive computing application. The design language allows to define a taxonomy","authors_text":"Charles Consel (INRIA Bordeaux - Sud-Ouest), Damien Cassou (INRIA Bordeaux - Sud-Ouest), Emilie Balland (INRIA Bordeaux - Sud-Ouest), Julien Bruneau (INRIA Bordeaux - Sud-Ouest)","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-03-29T07:49:42Z","title":"Towards a Tool-based Development Methodology for Pervasive Computing Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.6459","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:c9004894d4457f7c45381e7548bcd896e8a108b26398ed999673bc07e6b3d976","target":"record","created_at":"2026-05-18T03:59:02Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"4e06ecb14fdcede7fe5b522b6c77a88326c515e530e91a965f087d52cb7bb4a2","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-03-29T07:49:42Z","title_canon_sha256":"2f3a96a4cf548b3dbe12749b1030075423b9c89232bb7f48e1c7d06e1147a6c5"},"schema_version":"1.0","source":{"id":"1203.6459","kind":"arxiv","version":1}},"canonical_sha256":"e3b4e245dc5fb79a36865b05b1b7b941571b1633e2535abfb62ed0560a9d2d8c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e3b4e245dc5fb79a36865b05b1b7b941571b1633e2535abfb62ed0560a9d2d8c","first_computed_at":"2026-05-18T03:59:02.449147Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:59:02.449147Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"L+0L4hqu/87grDRMr5Ksc5zk5+MkXnVMgi/cqjRYMrs3btRMeYz476/hyl/BE/rEezsjjjqsona060zngyfwDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:59:02.449830Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.6459","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c9004894d4457f7c45381e7548bcd896e8a108b26398ed999673bc07e6b3d976","sha256:2da05273e5338686ef624fe8864da7c8c8d268bb6e965838f3b62837dd0e611d"],"state_sha256":"a4dedf4fe470b0bc5642905b508424f1cb6700dd6b8f6527591927687cbb331b"}