1 resultado para Let me in
em Boston University Digital Common
Filtro por publicador
- JISC Information Environment Repository (1)
- Repository Napier (1)
- Aberystwyth University Repository - Reino Unido (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (30)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (4)
- Aquatic Commons (4)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (2)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (1)
- Archive of European Integration (7)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (2)
- Aston University Research Archive (7)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (10)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (12)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (1)
- Blue Tiger Commons - Lincoln University - USA (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (15)
- Boston University Digital Common (1)
- Brock University, Canada (2)
- Bulgarian Digital Mathematics Library at IMI-BAS (9)
- CaltechTHESIS (5)
- Cambridge University Engineering Department Publications Database (4)
- CamPuce - an association for the promotion of science and humanities in African Countries (1)
- CentAUR: Central Archive University of Reading - UK (10)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (18)
- Cochin University of Science & Technology (CUSAT), India (1)
- Dalarna University College Electronic Archive (5)
- Deakin Research Online - Australia (21)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Digital Archives@Colby (1)
- Digital Commons - Michigan Tech (1)
- Digital Commons - Montana Tech (1)
- Digital Commons @ DU | University of Denver Research (2)
- Digital Commons @ Winthrop University (1)
- Digital Commons at Florida International University (2)
- DigitalCommons@The Texas Medical Center (3)
- DigitalCommons@University of Nebraska - Lincoln (2)
- DRUM (Digital Repository at the University of Maryland) (2)
- Duke University (1)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (1)
- eScholarship Repository - University of California (1)
- Glasgow Theses Service (1)
- Harvard University (1)
- Helda - Digital Repository of University of Helsinki (4)
- Indian Institute of Science - Bangalore - Índia (14)
- Institutional Repository of Leibniz University Hannover (1)
- National Center for Biotechnology Information - NCBI (4)
- Portal de Revistas Científicas Complutenses - Espanha (4)
- Publishing Network for Geoscientific & Environmental Data (27)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (34)
- Queensland University of Technology - ePrints Archive (572)
- Repositorio Académico de la Universidad Nacional de Costa Rica (1)
- Repositório Institucional da Universidade de Brasília (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (9)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (2)
- South Carolina State Documents Depository (4)
- Universidad de Alicante (2)
- Universidad del Rosario, Colombia (5)
- Universidad Politécnica de Madrid (7)
- Universidade Complutense de Madrid (1)
- Universita di Parma (3)
- Universitat de Girona, Spain (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (5)
- Université de Lausanne, Switzerland (1)
- Université de Montréal, Canada (8)
- University of Michigan (41)
- University of Queensland eSpace - Australia (3)
- University of Southampton, United Kingdom (2)
- University of Washington (1)
- WestminsterResearch - UK (2)
Resumo:
When analysing the behavior of complex networked systems, it is often the case that some components within that network are only known to the extent that they belong to one of a set of possible "implementations" – e.g., versions of a specific protocol, class of schedulers, etc. In this report we augment the specification language considered in BUCSTR-2004-021, BUCS-TR-2005-014, BUCS-TR-2005-015, and BUCS-TR-2005-033, to include a non-deterministic multiple-choice let-binding, which allows us to consider compositions of networking subsystems that allow for looser component specifications.