Italiano (it)formal methods
-
Visual Programming of Content Processing GridAXMEDIS, content protection, automated content production, media grid, mpeg-21, licensing, DRM199 Hits Rating
-
AUTOMATED MULTI-CHANNEL CROSS-MEDIA PRODUCTION AND DISTRIBUTIONAXMEDIS, content protection, automated content production, media grid, mpeg-21, licensing, DRM231 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 ...227 Hits Rating
-
Using MPEG-21 to repurpose, distribute and protect news/NewsML informationIntelligent Content, sentient multimedia content, cross media183 Hits Rating
-
Using MPEG-21 to repurpose, distribute and protect news/NewsML informationIntelligent Content, sentient multimedia content, cross media136 Hits Rating
-
Media Content for MultichannelIntelligent Content, sentient multimedia content, cross media209 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", ...434 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 ...258 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 machines128 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 ...242 Hits Rating