-
Verification of External Specifications of Reactive SystemsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines644 Hits Rating
-
ECLAP DE6.2.2 ECLAP Specific ServicesSocial media, semantic model and tools, suggestions, semantic computing, metadata models794 Hits Rating
-
IPR Management Models for Cultural Heritage on ECLAP Best Practice NetworkSocial media, semantic model and tools, suggestions, semantic computing, metadata models683 Hits Rating
-
AXMEDIS DE5.1.2.3 AXMEDIS Framework for all, updateAXMEDIS, automated content production, AXCP, tools, DRM678 Hits Rating
-
Assessing Optical Music Recognition Toolsmusic score analysis, optical music recognition, OMR, symbolic music representation production, image processing, pattern recognition. The Optical Music Recognition task is more complex than OCR. ...579 Hits Rating
-
Product Line Engineering Applied to CBTC Systems Developmentreal time systems specification, formal methods, tilco, uml592 Hits Rating
-
ASSISTED KNOWLEDGE BASE GENERATION, MANAGEMENT AND COMPETENCE RETRIEVALDespite the presence of many systems for developing and managing structured taxonomies and/or SKOS models for a given domain for which small documents set are accessible, the production and ...768 Hits Rating
-
Managing Music in OrchestrasAn electronic music management system may provide musicians, music publishers, and music schools with an unprecedented ability to create, update, and store expertly annotated scores. Given the ...647 Hits Rating
-
TILCO-X theoryFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...380 Hits Rating
-
Effort estimation and prediction of object-oriented systemsAbstract Due to the growing diffusion of the object-oriented paradigm (OOP) and the need of maintaining under control the process of software development, industries are looking for metrics ...616 Hits Rating