Resultados de 1 a 10 de 14.774 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
tipo de recurso:
Anais de Congresso
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
SmartCheck: static analysis of ethereum smart contractsTikhomirov, Sergei ; Voskresenskaya, Ekaterina ; Ivanitskiy, Ivan ; Takhaviev, Ramil ; Marchenko, Evgeny ; Alexandrov, Yaroslav2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), 2018, p.9-16New York, NY, USA: ACMTexto completo disponível |
| 2 |
Material Type: Ata de Congresso
|
|
Protocols for Public Key CryptosystemsMerkle, Ralph C.1980 IEEE Symposium on Security and Privacy, 1980, p.122-122IEEETexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Blockchain contract: Securing a blockchain applied to smart contractsWatanabe, Hiroki ; Fujimura, Shigeru ; Nakadaira, Atsushi ; Miyazaki, Yasuhiko ; Akutsu, Akihito ; Kishigami, Jay2016 IEEE International Conference on Consumer Electronics (ICCE), 2016, p.467-468IEEETexto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
ReGuard: finding reentrancy bugs in smart contractsLiu, Chao ; Liu, Han ; Cao, Zhao ; Chen, Zhong ; Chen, Bangdao ; Roscoe, Bill2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), 2018, p.65-68New York, NY, USA: ACMTexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
Towards a Novel Architecture for Enabling Interoperability amongst Multiple BlockchainsJin, Hai ; Dai, Xiaohai ; Xiao, Jiang2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS), 2018, p.1203-1211IEEETexto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Inferring method specifications from natural language API descriptionsPandita, R. ; Xusheng Xiao ; Hao Zhong ; Tao Xie ; Oney, S. ; Paradkar, A.2012 34th International Conference on Software Engineering (ICSE), 2012, p.815-825IEEETexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
Securify: Practical Security Analysis of Smart ContractsTsankov, Petar ; Dan, Andrei ; Drachsler-Cohen, Dana ; Gervais, Arthur ; Bünzli, Florian ; Vechev, MartinProceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, p.67-82New York, NY, USA: ACMTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
An Overview of Smart Contract: Architecture, Applications, and Future TrendsWang, Shuai ; Yuan, Yong ; Wang, Xiao ; Li, Juanjuan ; Qin, Rui ; Wang, Fei-Yue2018 IEEE Intelligent Vehicles Symposium (IV), 2018, p.108-113IEEETexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
Towards saving money in using smart contractsChen, Ting ; Li, Zihao ; Zhou, Hao ; Chen, Jiachi ; Luo, Xiapu ; Li, Xiaoqi ; Zhang, Xiaosong2018 IEEE/ACM 40th International Conference on Software Engineering: New Ideas and Emerging Technologies Results (ICSE-NIER), 2018, p.81-84New York, NY, USA: ACMTexto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
Searching an Encrypted Cloud Meets Blockchain: A Decentralized, Reliable and Fair RealizationHu, Shengshan ; Cai, Chengjun ; Wang, Qian ; Wang, Cong ; Luo, Xiangyang ; Ren, KuiIEEE INFOCOM 2018 - IEEE Conference on Computer Communications, 2018, p.792-800IEEETexto completo disponível |
Resultados de 1 a 10 de 14.774 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Contracts (12.305)
- Science & Technology (7.062)
- Technology (6.997)
- Computer Science (5.256)
- Engineering (4.007)
- Engineering, Electrical & Electronic (3.475)
- Computer Science, Theory & Methods (1.735)
- Costs (1.646)
- Computer Science, Information Systems (1.560)
- Forward Contracts (1.267)
- Computer Science, Software Engineering (1.115)
- Computer Science, Artificial Intelligence (1.080)
- Laboratories (1.063)
- Telecommunications (1.051)
- Educational Institutions (808)
- Computer Science, Hardware & Architecture (773)
- Protocols (769)
- Computer Science, Interdisciplinary Applications (748)
- Automation & Control Systems (746)
- Supply Chains (721)
-
Mais opções
Data de Publicação
- Antes de1984 (29)
- 1984Até1993 (1.608)
- 1994Até2003 (4.249)
- 2004Até2014 (7.868)
- Após 2014 (1.185)
-
Mais opções
Base de Dados/Biblioteca
- IEEE Electronic Library (IEL) Conference Proceedings (13.722)
- ACM Digital Library (1.057)
- AgEcon (236)
- Computers & Applied Sciences Complete - EBSCO (115)
- SpringerLINK Lecture Notes in Computer Science (2015) (85)
- SpringerLINK Lecture Notes in Computer Science (84)
- Recercat (68)
- Springer Books (61)
- Free E-Journal (出版社公開部分のみ） (49)
- Business Source Complete (48)
- DOAJ Directory of Open Access Journals (40)
- Science Citation Index Expanded (Web of Science) (39)
- ROAD (37)
- Aerospace Database (32)
- IngentaConnect Journals (28)
- IEEE Electronic Library (IEL) Journals (25)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (23)
- HeinOnline_法律期刊（光华法学院购买） (21)
- Academic OneFile (21)
- SPIE_国际光学工程学会期刊 (20)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 