Resultados de 1 a 10 de 28 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
Base de dados/Biblioteca:
ACM Digital Library (Association for Computing Machinery)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Synthesizing structural and behavioral control for reconfigurations in component-based systemsKhakpour, Narges ; Arbab, Farhad ; Rutten, EricFormal aspects of computing, 2016-03, Vol.28 (1), p.21-43 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023Arbab, Farhad ; Autili, Marco ; Ciccozzi, Federico ; Poizat, Pascal ; Tivoli, MassimoSoftware engineering notes, 2023-12, Vol.49 (1), p.24-26New York, NY, USA: ACMTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
AN ALGORITHM FOR GENERATING NC TOOL PATHS FOR ARBITRARILY SHAPED POCKETS WITH ISLANDSHANSEN, A ; ARBAB, FACM transactions on graphics, 1992-04, Vol.11 (2), p.152-182 [Periódico revisado por pares]NEW YORK: Assoc Computing MachineryTexto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
Web services choreography and orchestration in Reo and constraint automataMeng, Sun ; Arbab, FarhadProceedings of the 2007 ACM symposium on Applied computing, 2007, p.346-353New York, NY, USA: ACMTexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
Dreams: a framework for distributed synchronous coordinationProença, José ; Clarke, Dave ; de Vink, Erik ; Arbab, FarhadProceedings of the 27th Annual ACM Symposium on Applied Computing, 2012, p.1510-1515New York, NY, USA: ACMTexto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Applying Reo to service coordination in long-running business transactionsKokash, Natallia ; Arbab, FarhadProceedings of the 2009 ACM symposium on Applied Computing, 2009, p.1381-1382New York, NY, USA: ACMTexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
A coordination language for mobile componentsArbab, Farhad ; Bonsangue, Marcello M. ; de Boer, Frank S. Oppenheim, Dave ; Haddad, Hisham ; Damiani, Ernesto ; Carroll, JaniceProceedings of the 2000 ACM symposium on Applied computing - Volume 1, 2000, p.166-173New York, NY, USA: ACMTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
Syanco 2007: international workshop on synthesis and analysis of component connectorsArbab, Farhad ; Baier, ChristelFoundations of Software Engineering: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering; 03-07 Sept. 2007, 2007, p.607-608New York, NY, USA: ACMTexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
SYANCO 2007: international workshop on synthesis and analysis of component connectorsArbab, Farhad ; Baier, ChristelThe 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers, 2007, p.607-608New York, NY, USA: ACMTexto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
Modeling behavior in compositions of software architectural primitivesMehta, N.R. ; Medvidovic, N. ; Sirjani, M. ; Arbab, F.Automated Software Engineering: Proceedings of the 19th IEEE international conference on Automated software engineering; 20-24 Sept. 2004, 2004, p.371-374IEEETexto completo disponível |
Resultados de 1 a 10 de 28 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Science & Technology (8)
- Technology (8)
- Computer Science (7)
- Computer Science, Software Engineering (5)
- Reo (5)
- Theory Of Computation (4)
- Coordination (4)
- Synthesis (3)
- Math Applications In Computer Science (2)
- Software And Its Engineering (2)
- Software Engineering (2)
- Component Connectors (2)
- Original Article (2)
- Distributed Systems (2)
- Analysis (2)
- Dynamics (2)
- Control Systems (2)
- Distributed, Parallel, And Cluster Computing (2)
- Computer Aided Manufacturing (2)
- Software And Its Engineering -- Software Notations And Tools -- Formal Language Definitions (2)
-
Mais opções
Data de Publicação
- Antes de1998 (5)
- 1998Até2004 (7)
- 2005Até2008 (6)
- 2009Até2014 (6)
- Após 2014 (5)
-
Mais opções
Base de Dados/Biblioteca
- ACM Digital Library (28)
- Science Citation Index Expanded (Web of Science) (5)
- IEEE Electronic Library (IEL) Conference Proceedings (4)
- Computers and Applied Sciences Complete (3)
- EZB Electronic Journals Library (2)
- SpringerLink (Online service) (2)
- Business Source Complete (1)
- Springer Open Access (1)
- Lirias (KU Leuven Association) (1)
- Gale Academic OneFile (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 