Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Whom You Know Matters: Relook Vehicle-to-Vehicle Communications from a Topological PerspectiveAbbas, Syed Fakhar ; Liu, William ; Bai, Quan ; Al-Anbuky, Adnan Shen, Huawei ; Nguyen, Nam P ; Thai, My T ; Nguyen, Nam P. ; Shen, Huawei ; Thai, My T.Computational Social Networks, 2015, Vol.9197, p.248-261 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
A Survey on Testing for Cyber Physical SystemAbbaspour Asadollah, Sara ; Inam, Rafia ; Hansson, Hans El-Fakih, Khaled ; Barlas, Gerassimos ; Yevtushenko, NinaLecture Notes in Computer Science, 2015, Vol.LNCS-9447, p.194-207 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Genetic-Based Approach for ATS and SLA-aware Web Services CompositionAbbassi, Imed ; Graiet, Mohamed ; Gaaloul, Walid ; Hadj-Alouane, Nejib Ben Wang, Hua ; Li, Tao ; Wang, Jianyong ; Wang, Dingding ; Zhang, Yanchun ; Cellary, Wojciech ; Chen, Shu-Ching ; Chen, Shu-Ching ; Zhang, Yanchun ; Wang, Dingding ; Li, Tao ; Wang, Hua ; Wang, Jianyong ; Cellary, WojciechProceedings WISE 2015 : 16th International Conference Web Information Systems Engineering, 2015, Vol.9418, p.369-383 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Norn: An SMT Solver for String ConstraintsAbdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Chen, Yu-Fang ; Holík, Lukáš ; Rezine, Ahmed ; Rümmer, Philipp ; Stenman, Jari Kroening, Daniel ; Păsăreanu, Corina S.COMPUTER AIDED VERIFICATION, PT I, 2015, p.462-469 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
5 |
Material Type: Livro
|
Product-Focused Software Process Improvement: 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, ProceedingsAbrahamsson, Pekka ; Corral, Luis ; Oivo, Markku ; Russo, Barbara Russo, Barbara ; Corral, Luis ; Abrahamsson, Pekka ; Oivo, MarkkuCham: Springer Nature 2015Texto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Amalgamated Lock-ElisionAfek, Yehuda ; Matveev, Alexander ; Moll, Oscar R. ; Shavit, Nir Moses, Yoram ; Moses, YoramDistributed Computing, 2015, Vol.9363, p.309-324 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Towards a Framework for Building Adaptive App-Based Web Applications Using Dynamic AppificationAgrawal, Ashish ; Prabhakar, T. V. Weyns, Danny ; Crnkovic, Ivica ; Mirandola, RaffaelaSoftware Architecture, 2015, p.37-44 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Privacy-Preserving Distance-Bounding Proof-of-KnowledgeAhmadi, Ahmad ; Safavi-Naini, Reihaneh Yiu, S. M ; Qing, S. H ; Hui, Lucas C. K ; Shi, Elaine ; Yiu, S. M. ; Hui, Lucas C. K. ; Shi, Elaine ; Qing, S. H.Information and Communications Security, 2015, Vol.8958, p.74-88 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Online Privacy: Risks, Challenges, and New TrendsAïmeur, Esma Crispo, Bruno ; Lopez, Javier ; Ray, Indrajit ; Ray, Indrajit ; Crispo, Bruno ; Lopez, JavierRisks and Security of Internet and Systems, 2015, Vol.8924, p.263-266 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
10 |
Material Type: Livro
|
Information Security Theory and Practice: 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. ProceedingsAkram, Raja Naeem ; Jajodia, Sushil Akram, Raja Naeem ; Jajodia, SushilNetherlands: Springer Nature 2015Texto completo disponível |