English (en-US)distributed multimedia
-
Metadata Quality assessment tool for Open Access Cultural Heritage institutional repositoriesdigital library, oai pmh, open access, P2P, metadata quality assessment166 Accessi Voto
-
A Trust P2P network for the Access to Open Archive resourcesdigital library, oai pmh, open access, P2P, metadata quality assessment108 Accessi Voto
-
Comments on Comments on An Interval Logic for Real-Time System SpecificatioTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Abstract—The paper on Comments on “An Interval ...341 Accessi Voto
-
Expressing and Organizing Specification Patterns with TILCO-XTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines210 Accessi Voto
-
Expressing and Organizing Real Time Specification Patterns via Temporal LogicsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Formal specification models provide support for ...348 Accessi Voto
-
An Interval Logic for RealTime System SpecificationTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines314 Accessi Voto
-
Verification of External Specifications of Reactive SystemsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines312 Accessi Voto
-
ECLAP technical flyer, ENGSocial media, semantic model and tools, suggestions, semantic computing, metadata models598 Accessi Voto
-
A Linked Open Data service for performing artsSocial media, semantic model and tools, suggestions, semantic computing, metadata models663 Accessi Voto
-
Welcome to ECLAP 2013Social media, semantic model and tools, suggestions, semantic computing, metadata models529 Accessi Voto