Now showing items 111-112 of 112
Verification of Fixed-Topology Declarative Distributed Systems with External Data
Logic-based languages, such as Datalog and Answer Set Programming, have been recently put forward as a data-centric model to specify and implement network services and protocols. This approach provides the basis for ...
Ontology-Based Access To Temporal Data With Ontop: A Framework Proposal
Predictive analysis gradually gains importance in industry. For instance, service engineers at Siemens diagnostic centres unveil hidden knowledge in huge amounts of historical sensor data and use this knowledge to improve ...