{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T17:44:17Z","timestamp":1767116657565,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,11,8]],"date-time":"2016-11-08T00:00:00Z","timestamp":1478563200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,11,8]]},"DOI":"10.1145\/2976796.2976861","type":"proceedings-article","created":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T13:43:08Z","timestamp":1478526188000},"page":"71-78","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["STyLe"],"prefix":"10.1145","author":[{"given":"Glauco F.","family":"Amorim","sequence":"first","affiliation":[{"name":"Federal Fluminense University, Niter\u00f3i, Brazil"}]},{"given":"Joel A.F.","family":"dos Santos","sequence":"additional","affiliation":[{"name":"Cefet-RJ, Rio de Janeiro, Brazil"}]},{"given":"D\u00e9bora C.","family":"Muchaluat-Saade","sequence":"additional","affiliation":[{"name":"Federal Fluminense University, Niter\u00f3i, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2016,11,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Data coding and transmission specification for digital broadcasting Part 2: Ginga-NCL for fixed and mobile receivers -- XML application language for application coding","author":"ABNT","year":"2011","unstructured":"ABNT 15606--2:2007. Data coding and transmission specification for digital broadcasting Part 2: Ginga-NCL for fixed and mobile receivers -- XML application language for application coding , 2011 . ABNT 15606--2:2007. Data coding and transmission specification for digital broadcasting Part 2: Ginga-NCL for fixed and mobile receivers -- XML application language for application coding, 2011."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2820426.2820442"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27671-7_54"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/320719.322588"},{"key":"e_1_3_2_1_5_1","first-page":"825","volume":"185","author":"Barrett C. W.","year":"2009","unstructured":"C. W. Barrett , R. Sebastiani , S. A. Seshia , and C. Tinelli . Satisfiability modulo theories. Handbook of satisfiability , 185 : 825 -- 885 , 2009 . C. W. Barrett, R. Sebastiani, S. A. Seshia, and C. Tinelli. Satisfiability modulo theories. Handbook of satisfiability, 185:825--885, 2009.","journal-title":"Satisfiability modulo theories. Handbook of satisfiability"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s005300000043"},{"key":"e_1_3_2_1_7_1","volume-title":"PUC-Rio","author":"de Moura M. S. A.","year":"2001","unstructured":"M. S. A. de Moura . Rela\u00e7\u00f5es espaciais em documentos himerm\u00eddia. Master's thesis , PUC-Rio , 2001 . M. S. A. de Moura. Rela\u00e7\u00f5es espaciais em documentos himerm\u00eddia. Master's thesis, PUC-Rio, 2001."},{"key":"e_1_3_2_1_8_1","volume-title":"SRI International","author":"Dutertre B.","year":"2015","unstructured":"B. Dutertre . Yices Manual Version 2.4 . SRI International , December 2015 . B. Dutertre. Yices Manual Version 2.4. SRI International, December 2015."},{"key":"e_1_3_2_1_9_1","volume-title":"Application-specific constraints for multimedia presentation generation. Centrum voor Wiskunde en Informatica","author":"Geurts J. P. T. M.","year":"2001","unstructured":"J. P. T. M. Geurts , J. R. van Ossenbruggen , and H. L. Hardman . Application-specific constraints for multimedia presentation generation. Centrum voor Wiskunde en Informatica , 2001 . J. P. T. M. Geurts, J. R. van Ossenbruggen, and H. L. Hardman. Application-specific constraints for multimedia presentation generation. Centrum voor Wiskunde en Informatica, 2001."},{"key":"e_1_3_2_1_10_1","unstructured":"I. Hickson R. Berjon S. Faulkner T. Leithead E. D. Navara E. O'Connor and S. Pfeiffer. HTML5: A vocabulary and associated APIs for HTML and XHTML. http:\/\/www.w3.org\/TR\/html5\/ 2014.  I. Hickson R. Berjon S. Faulkner T. Leithead E. D. Navara E. O'Connor and S. Pfeiffer. HTML5: A vocabulary and associated APIs for HTML and XHTML. http:\/\/www.w3.org\/TR\/html5\/ 2014."},{"key":"e_1_3_2_1_11_1","volume-title":"Extensible layout in functional documents","author":"Lumley J.","year":"2006","unstructured":"J. Lumley , R. Gimson , and O. Rees . Extensible layout in functional documents . SPIE , 6076, 2006 . J. Lumley, R. Gimson, and O. Rees. Extensible layout in functional documents. SPIE, 6076, 2006."},{"key":"e_1_3_2_1_12_1","volume-title":"SVG Open","author":"McCormack C.","year":"2004","unstructured":"C. McCormack , K. Marriott , and B. Meyer . Adaptive layout using one-way constraints in svg . In SVG Open , 2004 . C. McCormack, K. Marriott, and B. Meyer. Adaptive layout using one-way constraints in svg. In SVG Open, 2004."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/585058.585069"},{"key":"e_1_3_2_1_14_1","volume-title":"Soares. TAL Processor of Hypermedia Applications. DocEng '12","author":"Neto C. S.","year":"2012","unstructured":"C. S. Neto , H. F. Pinto , and L. F. G. Soares. TAL Processor of Hypermedia Applications. DocEng '12 , 2012 . C. S. Neto, H. F. Pinto, and L. F. G. Soares. TAL Processor of Hypermedia Applications. DocEng '12, 2012."},{"key":"e_1_3_2_1_15_1","volume-title":"Nested Context Language (NCL) and Ginga-NCL for IPTV Services","author":"U-T","year":"2011","unstructured":"Recommendation IT U-T H.761. Nested Context Language (NCL) and Ginga-NCL for IPTV Services , 2011 . Recommendation ITU-T H.761. Nested Context Language (NCL) and Ginga-NCL for IPTV Services, 2011."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1378773.1378787"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2664551.2664559"},{"key":"e_1_3_2_1_19_1","volume-title":"http:\/\/www.w3schools.com\/css\/","author":"Tutorial CSS","year":"2015","unstructured":"W3Schools. CSS Tutorial . http:\/\/www.w3schools.com\/css\/ , 2015 . W3Schools. CSS Tutorial. http:\/\/www.w3schools.com\/css\/, 2015."}],"event":{"name":"Webmedia '16: 22nd Brazilian Symposium on Multimedia and the Web","sponsor":["FAPEPI Fundacao de Amparo a Pesquisa do Estado do Piaui","SBC Brazilian Computer Society","CNPq Conselho Nacional de Desenvolvimento Cientifico e Tecn","CGIBR Comite Gestor da Internet no Brazil","CAPES Brazilian Higher Education Funding Council","SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGMM ACM Special Interest Group on Multimedia"],"location":"Teresina Piau\u00ed State Brazil","acronym":"Webmedia '16"},"container-title":["Proceedings of the 22nd Brazilian Symposium on Multimedia and the Web"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2976796.2976861","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2976796.2976861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:39:58Z","timestamp":1750217998000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2976796.2976861"}},"subtitle":["Extending NCL for providing Dynamic Layouts"],"short-title":[],"issued":{"date-parts":[[2016,11,8]]},"references-count":18,"alternative-id":["10.1145\/2976796.2976861","10.1145\/2976796"],"URL":"https:\/\/doi.org\/10.1145\/2976796.2976861","relation":{},"subject":[],"published":{"date-parts":[[2016,11,8]]},"assertion":[{"value":"2016-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}