1 resultado para Circuit description
em Department of Computer Science E-Repository - King's College London, Strand, London
Filtro por publicador
- Aberystwyth University Repository - Reino Unido (4)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (2)
- Applied Math and Science Education Repository - Washington - USA (1)
- Aquatic Commons (39)
- ARCA - Repositório Institucional da FIOCRUZ (1)
- Archive of European Integration (2)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (4)
- Aston University Research Archive (1)
- Biblioteca Digital da Câmara dos Deputados (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (40)
- Boston University Digital Common (6)
- Brock University, Canada (18)
- CaltechTHESIS (3)
- Cambridge University Engineering Department Publications Database (94)
- CentAUR: Central Archive University of Reading - UK (68)
- Center for Jewish History Digital Collections (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (88)
- Cochin University of Science & Technology (CUSAT), India (2)
- CORA - Cork Open Research Archive - University College Cork - Ireland (5)
- CUNY Academic Works (9)
- Dalarna University College Electronic Archive (2)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- DigitalCommons@The Texas Medical Center (1)
- Diposit Digital de la UB - Universidade de Barcelona (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (1)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (4)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (13)
- Funes: Repositorio digital de documentos en Educación Matemática - Colombia (1)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (163)
- Greenwich Academic Literature Archive - UK (4)
- Helda - Digital Repository of University of Helsinki (7)
- Indian Institute of Science - Bangalore - Índia (75)
- Instituto Politécnico do Porto, Portugal (2)
- Massachusetts Institute of Technology (10)
- Ministerio de Cultura, Spain (4)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (28)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (95)
- Queensland University of Technology - ePrints Archive (57)
- Repositorio Institucional de la Universidad Pública de Navarra - Espanha (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (21)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (1)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (2)
- School of Medicine, Washington University, United States (3)
- South Carolina State Documents Depository (9)
- Universidad Autónoma de Nuevo León, Mexico (8)
- Universidad del Rosario, Colombia (2)
- Universidad Politécnica de Madrid (1)
- Universidade de Lisboa - Repositório Aberto (1)
- Universitat de Girona, Spain (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Lausanne, Switzerland (5)
- Université de Montréal, Canada (25)
- University of Michigan (3)
- University of Southampton, United Kingdom (11)
- University of Washington (2)
Resumo:
Architectural description languages (ADLs) are used to specify high-level, compositional view of a software application. ADLs usually come equipped with a rigourous state-transition style semantics, facilitating specification and analysis of distributed and event-based systems. However, enterprise system architectures built upon newer middleware (implementations of Java’s EJB specification, or Microsoft’s COM+/ .NET) require additional expressive power from an ADL. The TrustME ADL is designed to meet this need. In this paper, we describe several aspects of TrustME that facilitate specification and anlysis of middleware-based architectures for the enterprise.