1 resultado para whether court has power to extend time
em CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal
Filtro por publicador
- Repository Napier (1)
- Academic Research Repository at Institute of Developing Economies (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (15)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (2)
- Andina Digital - Repositorio UASB-Digital - Universidade Andina Simón Bolívar (1)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (1)
- Archive of European Integration (28)
- Aston University Research Archive (13)
- B-Digital - Universidade Fernando Pessoa - Portugal (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (27)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (20)
- Brock University, Canada (19)
- Bucknell University Digital Commons - Pensilvania - USA (3)
- CentAUR: Central Archive University of Reading - UK (86)
- Central European University - Research Support Scheme (2)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (1)
- Cochin University of Science & Technology (CUSAT), India (12)
- Collection Of Biostatistics Research Archive (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (7)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (31)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (1)
- CUNY Academic Works (1)
- Dalarna University College Electronic Archive (7)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- Digital Commons - Michigan Tech (1)
- Digital Commons @ DU | University of Denver Research (1)
- Digital Commons at Florida International University (9)
- DigitalCommons@The Texas Medical Center (5)
- DigitalCommons@University of Nebraska - Lincoln (1)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (56)
- DRUM (Digital Repository at the University of Maryland) (5)
- Duke University (1)
- FUNDAJ - Fundação Joaquim Nabuco (1)
- Glasgow Theses Service (1)
- Harvard University (2)
- Illinois Digital Environment for Access to Learning and Scholarship Repository (1)
- Institute of Public Health in Ireland, Ireland (4)
- Institutional Repository of Leibniz University Hannover (1)
- Instituto Politécnico do Porto, Portugal (30)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (15)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (1)
- Martin Luther Universitat Halle Wittenberg, Germany (1)
- Massachusetts Institute of Technology (1)
- Memoria Académica - FaHCE, UNLP - Argentina (2)
- Ministerio de Cultura, Spain (1)
- National Center for Biotechnology Information - NCBI (5)
- Publishing Network for Geoscientific & Environmental Data (5)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (3)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (3)
- Repositorio Academico Digital UANL (1)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (6)
- Repositório da Escola Nacional de Administração Pública (ENAP) (1)
- Repositório da Produção Científica e Intelectual da Unicamp (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (16)
- Repositório do Centro Hospitalar de Lisboa Central, EPE - Centro Hospitalar de Lisboa Central, EPE, Portugal (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (1)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (23)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (21)
- Scielo España (1)
- Scielo Saúde Pública - SP (17)
- Scottish Institute for Research in Economics (SIRE) (SIRE), United Kingdom (2)
- The Scholarly Commons | School of Hotel Administration; Cornell University Research (2)
- Universidad de Alicante (3)
- Universidad del Rosario, Colombia (13)
- Universidad Politécnica de Madrid (24)
- Universidade do Minho (8)
- Universidade Federal do Rio Grande do Norte (UFRN) (4)
- Universidade Técnica de Lisboa (1)
- Universitat de Girona, Spain (4)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (6)
- Université de Lausanne, Switzerland (66)
- Université de Montréal (4)
- Université de Montréal, Canada (42)
- University of Canberra Research Repository - Australia (2)
- University of Michigan (74)
- University of Queensland eSpace - Australia (31)
- University of Southampton, United Kingdom (1)
- WestminsterResearch - UK (2)
- Worcester Research and Publications - Worcester Research and Publications - UK (1)
Resumo:
Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell