skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Synthesizing structural and behavioral control for reconfigurations in component-based systems
Material Type:
Artigo
Adicionar ao Meu Espaço

Synthesizing structural and behavioral control for reconfigurations in component-based systems

Khakpour, Narges ; Arbab, Farhad ; Rutten, Eric

Formal aspects of computing, 2016-03, Vol.28 (1), p.21-43 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

2
AN ALGORITHM FOR GENERATING NC TOOL PATHS FOR ARBITRARILY SHAPED POCKETS WITH ISLANDS
Material Type:
Artigo
Adicionar ao Meu Espaço

AN ALGORITHM FOR GENERATING NC TOOL PATHS FOR ARBITRARILY SHAPED POCKETS WITH ISLANDS

HANSEN, A ; ARBAB, F

ACM transactions on graphics, 1992-04, Vol.11 (2), p.152-182 [Periódico revisado por pares]

NEW YORK: Assoc Computing Machinery

Texto completo disponível

3
Modeling behavior in compositions of software architectural primitives
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Modeling behavior in compositions of software architectural primitives

Mehta, 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-374

IEEE

Texto completo disponível

4
Dataflow Model–based Software Synthesis Framework for Parallel and Distributed Embedded Systems
Material Type:
Artigo
Adicionar ao Meu Espaço

Dataflow Model–based Software Synthesis Framework for Parallel and Distributed Embedded Systems

Jeong, Eunjin ; Jeong, Dowhan ; Ha, Soonhoi

ACM 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
Dynamic role authorization in multiparty conversations
Material Type:
Artigo
Adicionar ao Meu Espaço

Dynamic role authorization in multiparty conversations

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez, Jorge A. ; Vieira, Hugo Torres

Formal aspects of computing, 2016-07, Vol.28 (4), p.643-667 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (4)

Buscando em bases de dados remotas. Favor aguardar.