Search Results

A Reference Use Case, Data Space Architecture, and Prototype for Smart Truck Parking

• Authors : Piest, Jean Paul Sebastian; Slavova, Stefani; van Heeswijk, Wouter J.A.

Subjects: machine learning; international data spaces; 0202 electrical engineering, electronic engineering, information engineering

Record details

Maritime Data Platform for increasing data accessibility via a data space architecture

• Authors : Jankowski, Dennis

Subjects: OSSYM2022; OSSYM-2022; Open Search Symposium 2022

Record details

Formal verification of replication on a distributed data space architecture

• Authors : Hooman, J.J.M.; Pol, J. van de; Lamont, G.B.

Subjects: Software Science; 0202 electrical engineering, electronic engineering, information engineering; 02 engineering and technology

• Source: Lamont, G.B. (ed.), SAC '02: 2002 ACM Symposium on Applied Computing, Madrid, Spain, March 10-14, 2002, pp. 351-358

Record details

Industrial Data Space Architecture Implementation Using FIWARE

• Authors : Álvaro Alonso; Alejandro Pozo; José Manuel Cantera

Subjects: 9. Industry and infrastructure; Chemical technology; TP1-1185

• Source: Sensors (Basel)Sensors, Vol 18, Iss 7, p 2226 (2018)SensorsVolume 18Issue 7

Record details

Formal Verification of Replication on a Distributed Data Space Architecture

• Authors : Jozef Hooman; Jaco van de Pol; The Pennsylvania State University CiteSeerX Archives

Subjects: General Terms Verification; Reliability Keywords Coordination; data space architecture

• Source: http://www.cs.kun.nl/ita/publications/papers/hooman/SAC02.ps.

Record details

Formal Verification of Replication on a ibuted Data Space Architecture

• Authors : Lamont, G.B.; Hooman, J.; Pol, J. van de

• Source: Lamont, G.B. (ed.), SAC '02: 2002 ACM Symposium on Applied Computing, Madrid, Spain — March 10 - 14, 2002; 351; 358; 1581134452; Lamont, G.B. (ed.), SAC '02: 2002 ACM Symposium on Applied Computing,

Record details

Formal verification of replication on a distributed data space architecture

• Authors : Hooman, J.; Pol, J.C. (Jaco) van de

Subjects: info:eu-repo/semantics/conferenceObject

Record details

Formal Verification of Replication on a ibuted Data Space Architecture.

• Authors : Hooman, J.J.M.

Subjects: Software Science.Part of book or chapter of book.

Record details

Interoperable Traceability in Agrifood Supply Chains: Enhancing Transport Systems Through IoT Sensor Data, Blockchain, and DataSpace †.

• Authors : Farina, Giovanni¹ (AUTHOR); Kocian, Alexander² (AUTHOR) ; Brunori, Gianluca^2,3 (AUTHOR)

• Source: Sensors (14248220). Jun2025, Vol. 25 Issue 11, p3419. 23p.

Record details

面向权属治理的分布式 数据空间架构模型研究.

• Authors : 孙金烨¹; 郭树行²

• Source: Big Data Research (2096-0271). Mar2025, Vol. 11 Issue 2, p140-151. 12p.

Record details