Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Enabling continuous software engineering for embedded systems architectures with virtual prototypesPablo Oliveira Antonino Matthias Jung; Andreas Morgenstern; Florian Faßnacht; Thomas Bauer; Adam Bachorek; Thomas Kuhn; Elisa Yumi Nakagawa; European Conference on Software Architecture - ECSA 2018 (12. 2018 Madri, Espanha)Lecture Notes in Computer Science Cham : Springer v. 11048, p. 115-130, 2018Cham Springer Nature Switzerland AG 2018Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2917108 )(Acessar) |
|
2 |
Material Type: Artigo
|
The TTT Algorithm: A Redundancy-Free Approach to Active Automata LearningIsberner, Malte ; Howar, Falk ; Steffen, Bernhard Smolka, Scott A. ; Bonakdarpour, BorzooRuntime Verification, p.307-322 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
3 |
Material Type: Artigo
|
Improving the Big Mac Attack on Elliptic Curve CryptographyDanger, Jean-Luc ; Guilley, Sylvain ; Hoogvorst, Philippe ; Murdica, Cédric ; Naccache, David Ryan, Peter Y. A. ; Naccache, David ; Quisquater, Jean-JacquesThe New Codebreakers, 2016, p.374-386 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
4 |
Material Type: Artigo
|
Quantum Finite Automata: A Modern IntroductionSay, A.C. Cem ; Yakaryılmaz, Abuzer Calude, Cristian S. ; Freivalds, Rūsiņš ; Kazuo, IwamaComputing with New Resources, p.208-222 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
5 |
Material Type: Artigo
|
Synergistic Characteristic of Human Hand during Grasping Tasks in Daily LifeLiu, Mingjin ; Xiong, Caihua Liu, Honghai ; Wang, Nianfeng ; Chen, Zhong ; Zhang, XianminIntelligent Robotics and Applications, p.67-76 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
6 |
Material Type: Artigo
|
Aspects of Reversibility for Classical AutomataKutrib, Martin Calude, Cristian S. ; Freivalds, Rūsiņš ; Kazuo, IwamaComputing with New Resources, p.83-98 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
7 |
Material Type: Artigo
|
MassiveThreads: A Thread Library for High Productivity LanguagesNakashima, Jun ; Taura, Kenjiro Agha, Gul ; Kobayashi, Naoki ; Matsuoka, Satoshi ; Taura, Kenjiro ; Masuhara, Hidehiko ; Igarashi, Atsushi ; Shibayama, EtsuyaConcurrent Objects and Beyond, p.222-238 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
8 |
Material Type: Artigo
|
Making Use of Design PrinciplesChandra Kruse, Leona ; Seidel, Stefan ; Purao, Sandeep Helfert, Markus ; Kenneally, Jim ; Venable, John ; Donnellan, Brian ; Tuunanen, Tuure ; Parsons, JeffreyTackling Society's Grand Challenges with Design Science, p.37-51 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
9 |
Material Type: Artigo
|
A Patient-Specific EMG-Driven Musculoskeletal Model for Improving the Effectiveness of Robotic NeurorehabilitationMa, Ye ; Xie, Sheng Quan ; Zhang, Yanxin Liu, Honghai ; Wang, Nianfeng ; Chen, Zhong ; Zhang, XianminIntelligent Robotics and Applications, p.390-401 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
10 |
Material Type: Artigo
|
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph TransformationBucchiarone, Antonio ; Ehrig, Hartmut ; Ermel, Claudia ; Pelliccione, Patrizio ; Runge, Olga Hennicker, Rolf ; De Nicola, RoccoSoftware, Services, and Systems, p.582-601 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |