{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T10:59:09Z","timestamp":1730285949064,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1109\/notere.2011.5957975","type":"proceedings-article","created":{"date-parts":[[2011,7,21]],"date-time":"2011-07-21T11:18:54Z","timestamp":1311247134000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems"],"prefix":"10.1109","author":[{"given":"Faiza","family":"Belala","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chafia","family":"Bouanaka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kamel","family":"Barkaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"380","article-title":"On the design and analysis of real-time systems","author":"jerad","year":"0","journal-title":"In CATA'07 22th International Conference on Computers and Their Applications ISCA"},{"key":"ref3","first-page":"156","article-title":"A.Hierarchical Verification in Maude of LfP Software Architectures","author":"jerad","year":"0","journal-title":"In ECSA'07 1 st European Conference on Software Architecture LNCS 4558"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/RCIS.2008.4632088"},{"key":"ref6","article-title":"Maude: Specification and Programming in Rewriting Logic","author":"clavel","year":"1999","journal-title":"SRI International"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2010.311126"},{"key":"ref5","first-page":"24","article-title":"Extension d'ABAReL par les Propriétés d'Exécution","author":"benammar","year":"0","journal-title":"Revue des Nouvelles Technologies de l'Information RNTI-L-3 Cépaduès éditions CAL'09 Conference (conférence francophone sur les architectures logicielles)"},{"key":"ref12","article-title":"Towards Maude Based Framework for Component Oriented Programming","author":"belala","year":"0","journal-title":"Rapport interne Laboratoire LIRE Université Mentouri de Constantine"},{"key":"ref8","article-title":"Tiling Transactions in Rewriting Logic","volume":"71","author":"bruni","year":"2002","journal-title":"ENTCS"},{"key":"ref7","article-title":"Tile logic for Synchronized Rewriting of Concurrent Systems","author":"bruni","year":"1999","journal-title":"Thèse Ph D département d'informatique Université de Pisa"},{"key":"ref2","first-page":"105","article-title":"Towards a Rewriting Semantics for a Software Architecture Description Language","author":"braga","year":"2003","journal-title":"Workshop de Métodos Formais"},{"key":"ref9","first-page":"1","article-title":"A Tile Logic Based Semantics for Mobile Software Architectures","author":"bouanaka","year":"2010","journal-title":"Proc of the 4th International Workshop on Verification on Verification and Evaluation of Computer and Communication Systems (VECOS 2010)"},{"key":"ref1","first-page":"1","article-title":"Rewriting logic as a logical and semantic framework","volume":"4","year":"1996","journal-title":"Electronic Notes in Theoretical Computer Science"}],"event":{"name":"2011 11th Annual International Conference on New Technologies of Distributed Systems (NOTERE)","start":{"date-parts":[[2011,5,9]]},"location":"Paris, France","end":{"date-parts":[[2011,5,13]]}},"container-title":["2011 11th Annual International Conference on New Technologies of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5957344\/5957970\/05957975.pdf?arnumber=5957975","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T01:59:40Z","timestamp":1490061580000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5957975\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/notere.2011.5957975","relation":{},"subject":[],"published":{"date-parts":[[2011,5]]}}}