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
|
Coordination of heterogeneous distributed cooperative constraint solvingArbab, Farhad ; Monfroy, EricApplied computing review : a publication of the Special Interest Group on Applied Computing, 1998-09, Vol.6 (2), p.4-17 [Periódico revisado por pares]ACMTexto completo disponível |
|
4 |
Material Type: Artigo
|
An algorithm for generating NC tool paths for arbitrarily shaped pockets with islandsHansen, Allan ; Arbab, FarhadACM transactions on graphics, 1992-04, Vol.11 (2), p.152-182 [Periódico revisado por pares]NEW YORK: ACMTexto completo disponível |
|
5 |
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 |
|
6 |
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 |
|
7 |
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 |
|
8 |
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, Vol.1, p.166-173New York, NY, USA: ACMTexto completo disponível |
|
9 |
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 |
|
10 |
Material Type: Ata de Congresso
|
Towards a similarity-based web service discovery through soft constraint satisfaction problemsArbab, Farhad ; Santini, Francesco ; Bistarelli, Stefano ; Pirolandi, DanieleProceedings of the 2nd International Workshop on Semantic Search over the Web, 2012, p.1-8New York, NY, USA: ACMTexto completo disponível |