Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
The Layered Architecture Recovery as a Quadratic Assignment ProblemBelle, Alvine Boaye ; El Boussaidi, Ghizlane ; Desrosiers, Christian ; Kpodjedo, Sègla ; Mili, HafedhSoftware Architecture, 2015, p.339-354 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Revisiting Architectural Tactics for SecurityFernandez, Eduardo B. ; Astudillo, Hernán ; Pedraza-García, GilbertoSoftware Architecture, 2015, p.55-69 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
Collecting Requirements and Ideas for Architectural Group Decision-Making Based on Four ApproachesGroher, Iris ; Weinreich, RainerSoftware Architecture, 2015, p.181-192 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
TOOLympics 2019: An overview of competitions in formal methodsBartocci, Ezio ; Beyer, Dirk ; Black, Paul E. ; Fedyukovich, Grigory ; Garavel, Hubert ; Hartmanns, Arnd ; Huisman, Marieke ; Kordon, Fabrice ; Nagele, Julian ; Sighireanu, Mihaela ; Steffen, Bernhard ; Suda, Martin ; Sutcliffe, Geoff ; Weber, Tjark ; Yamada, AkihisaTools and Algorithms for the Construction and Analysis of Systems, 2019, p.3 [Periódico revisado por pares]Texto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
What You Need to Know About SDN Flow TablesKuzniar, Maciej ; Peresini, Peter ; Kostic, DejanPASSIVE AND ACTIVE MEASUREMENT (PAM 2015), 2015, p.347-359 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed NetsArdagna, Danilo ; Bernardi, Simona ; Gianniti, Eugenio ; Karimian Aliabadi, Soroush ; Perez-Palacin, Diego ; Requeno, José IgnacioAlgorithms and Architectures for Parallel Processing, 2016, p.599-613 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Java Pathfinder at SV-COMP 2019 (Competition Contribution)Artho, Cyrille ; Visser, W.25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 2019, p.224 [Periódico revisado por pares]Texto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Concept-level design analytics for blended coursesAlbó, Laia ; Barria-Pineda, Jordan ; Brusilovsky, Peter ; Hernández Leo, DaviniaSpringer 2019Texto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
DWARM: An Ontology of Data Warehouse Architecture Reference ModelSzwed, Piotr ; Komnata, Wojciech ; Dymek, DariuszBeyond Databases, Architectures and Structures, p.222-232 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Design Decision Documentation: A Literature OverviewAlexeeva, Zoya ; Perez-Palacin, Diego ; Mirandola, RaffaelaFP7 seaclouds, 2016, p.84-101 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |