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
|
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 |
|
3 |
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 |
|
4 |
Material Type: Artigo
|
Dataflow Model–based Software Synthesis Framework for Parallel and Distributed Embedded SystemsJeong, Eunjin ; Jeong, Dowhan ; Ha, SoonhoiACM transactions on design automation of electronic systems, 2021-09, Vol.26 (5), p.1-38 [Periódico revisado por pares]Texto completo disponível |
|
5 |
Material Type: Artigo
|
Dynamic role authorization in multiparty conversationsGhilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez, Jorge A. ; Vieira, Hugo TorresFormal aspects of computing, 2016-07, Vol.28 (4), p.643-667 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |