Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Context-Oriented Software Development with Generalized Layer Activation MechanismKamina, Tetsuo ; Aotani, Tomoyuki ; Masuhara, Hidehiko ; Tamai, TetsuoTransactions on Modularity and Composition I, p.3-40 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Conclusion to an Intelligent Agent as an Economic Insider Threat Solution: AIMIETagle, Betina ; Felch, HenryTackling Society's Grand Challenges with Design Science, p.147-157 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
For User-Driven Software Evolution: Requirements Elicitation Derived from Mining Online ReviewsJiang, Wei ; Ruan, Haibin ; Zhang, Li ; Lew, Philip ; Jiang, JingAdvances in Knowledge Discovery and Data Mining, p.584-595 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
The TTT Algorithm: A Redundancy-Free Approach to Active Automata LearningIsberner, Malte ; Howar, Falk ; Steffen, BernhardRuntime Verification, p.307-322 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Kademlia: A peer-to-peer information system based on the XOR metricMAYMOUNKOV, Petar ; MAZIERES, DavidLecture notes in computer science, 2002, p.53-65 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Quantum Finite Automata: A Modern IntroductionSay, A.C. Cem ; Yakaryılmaz, AbuzerComputing with New Resources, p.208-222 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
A Framework for Defining and Comparing Modelling MethodsReggio, Gianna ; Astesiano, Egidio ; Choppy, ChristineSoftware, Services, and Systems, p.377-408 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
A Preference Weights Model for Prioritizing Software RequirementsAchimugu, Philip ; Selamat, Ali ; Ibrahim, RolianaComputational Collective Intelligence. Technologies and Applications, p.30-39 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Aspects of Reversibility for Classical AutomataKutrib, MartinComputing with New Resources, p.83-98 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
MassiveThreads: A Thread Library for High Productivity LanguagesNakashima, Jun ; Taura, KenjiroConcurrent Objects and Beyond, p.222-238 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |