Italiano (it)formal methods
-
Visual Programming of Content Processing GridAXMEDIS, content protection, automated content production, media grid, mpeg-21, licensing, DRM254 Hits Rating
-
AUTOMATED MULTI-CHANNEL CROSS-MEDIA PRODUCTION AND DISTRIBUTIONAXMEDIS, content protection, automated content production, media grid, mpeg-21, licensing, DRM270 Hits Rating
-
Micro grids for scalable media computing and intelligence on distributed scenariosAXMEDIS, content protection, automated content production, media grid, mpeg-21, licensing, DRM P. Bellini, I. Bruno, D. Cenni, P. Nesi, "Micro grids for scalable media computing and intelligence ...257 Hits Rating
-
Using MPEG-21 to repurpose, distribute and protect news/NewsML informationIntelligent Content, sentient multimedia content, cross media192 Hits Rating
-
Using MPEG-21 to repurpose, distribute and protect news/NewsML informationIntelligent Content, sentient multimedia content, cross media146 Hits Rating
-
Media Content for MultichannelIntelligent Content, sentient multimedia content, cross media221 Hits Rating
-
EXPLOLOTING INTELLIGENT CONTENT VIA AXMEDIS/MPEG-21 FOR MODELLING AND DISTRIBUTING NEWSIntelligent Content, sentient multimedia content, cross media P. Bellini, I. Bruno, P. Nesi, "EXPLOITING INTELLIGENT CONTENT VIA AXMEDIS/MPEG-21 FOR MODELLING AND DISTRIBUTING NEWS", ...462 Hits Rating
-
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 ...264 Hits Rating
-
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 machines138 Hits Rating
-
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 ...259 Hits Rating