Resultados de 1 a 10 de 963.591 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
- Revistas revisadas por pares (109.739)
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
|
|
A Learning Method for Product Analysis in Product Design: Learning Method of Product Analysis Utilizing Collaborative Learning and a List of Analysis ItemsLin, Haifu ; Kato, Hiroshi ; Toya, TakeshiHuman Interface and the Management of Information. Information and Knowledge Design and Evaluation, p.503-513 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
A Formal Analysis of 5G AuthenticationBasin, David ; Dreier, Jannik ; Hirschi, Lucca ; Radomirovic, Saša ; Sasse, Ralf ; Stettler, VincentProceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, p.1383-1396New York, NY, USA: ACMTexto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
An Analysis of Scale Invariance in Object Detection - SNIPSingh, Bharat ; Davis, Larry S.2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2018, p.3578-3587IEEETexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
Practitioners’ Perspectives on Change Impact Analysis for Safety-Critical Software – A Preliminary AnalysisBorg, Markus ; de la Vara, Jose Luis ; Wnuk, KrzysztofCOMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, p.346-358 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Leveraging stereopsis for saliency analysisYuzhen Niu ; Yujie Geng ; Xueqing Li ; Feng Liu2012 IEEE Conference on Computer Vision and Pattern Recognition, 2012, p.454-461IEEETexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
An Analysis of Efficient Multi-Core Global Power Management Policies: Maximizing Performance for a Given Power BudgetIsci, Canturk ; Buyuktosunoglu, Alper ; Cher, Chen-Yong ; Bose, Pradip ; Martonosi, Margaret2006 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'06), 2006, p.347-358Washington, DC, USA: IEEE Computer SocietyTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
NTU RGB+D: A Large Scale Dataset for 3D Human Activity AnalysisShahroudy, Amir ; Jun Liu ; Tian-Tsong Ng ; Gang Wang2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2016, p.1010-1019IEEETexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
Calibrating data to sensitivity in private data analysis: a platform for differentially-private analysis of weighted datasetsProserpio, Davide ; Goldberg, Sharon ; McSherry, FrankProceedings of the VLDB Endowment, 2014, Vol.7 (8), p.637-648 [Periódico revisado por pares]Texto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
Understanding Ethereum via Graph AnalysisChen, Ting ; Zhu, Yuxiao ; Li, Zihao ; Chen, Jiachi ; Li, Xiaoqi ; Luo, Xiapu ; Lin, Xiaodong ; Zhange, XiaosongIEEE INFOCOM 2018 - IEEE Conference on Computer Communications, 2018, p.1484-1492IEEETexto completo disponível |
Resultados de 1 a 10 de 963.591 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
- Revistas revisadas por pares (109.739)
Refinar Meus Resultados
Assunto
- Science & Technology (468.643)
- Technology (446.303)
- Engineering (276.741)
- Engineering, Electrical & Electronic (240.955)
- Computer Science (232.255)
- Computer Science, Theory & Methods (84.693)
- Physical Sciences (82.432)
- Exact Sciences And Technology (80.431)
- Computer Science, Artificial Intelligence (80.336)
- Algorithm Design And Analysis (69.669)
- Telecommunications (67.479)
- Computer Science, Information Systems (59.931)
- Applied Sciences (58.832)
- Optics (49.730)
- Physics (45.767)
- Automation & Control Systems (44.970)
- Performance Analysis (43.145)
- Computer Science, Software Engineering (36.017)
- Analytical Models (34.565)
- Mathematical Model (34.419)
-
Mais opções
Data de Publicação
- Antes de1961 (196)
- 1961Até1976 (1.627)
- 1977Até1992 (40.918)
- 1993Até2009 (484.414)
- Após 2009 (449.757)
-
Mais opções
Base de Dados/Biblioteca
- IEEE Electronic Library (IEL) Conference Proceedings (500.897)
- ACM Digital Library Complete (109.598)
- SPIE Digital Library Journals (64.317)
- SPIE Conference Proceedings by volume (26.878)
- EZB Free E-Journals (26.363)
- Lecture Notes in Computer Science Archive (through to 1996) (23.215)
- SpringerLINK Lecture Notes in Computer Science (2015) (23.194)
- NASA Technical Reports Server (18.936)
- ScienceDirect® (18.863)
- DOAJ Directory of Open Access Journals (17.575)
- AgEcon (16.508)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (15.216)
- Thieme - Connect here FIRST to enable access (15.121)
- ROAD: Directory of Open Access Scholarly Resources (14.495)
- IngentaConnect Journals (14.260)
- Aerospace Database (12.684)
- Single Journals (11.404)
- EDP Sciences (10.545)
- Science Citation Index Expanded (Web of Science) (10.313)
- Springer Books (9.940)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 