在使用智能合約時節省資金

?? 彙編語言 虛擬機 數據庫 區塊鏈 編譯器 設計 算術


理解任務描述對眾包競賽中用戶參與的影響:一種語言風格的視角

眾包 知識產權 讀書 語言 心理學 設計


移動群智感知的質量意識定價

眾包 經濟 智能手機 算法 分佈式計算 設計


在眾包軟件開發中性格對任務選擇的影響:一種排序方法

眾包 軟件 技術 大學 跳槽那些事兒


機器學習在高度自動化駕駛中的安全性

機器學習 無人駕駛 技術 算法 硬件 設計 電腦 大眾汽車


自治軟件系統的健壯性測試

技術 軟件 設計 數據庫 機器人


一種通過過程上下文生成技術測試自主機器人控制軟件的方法

技術 機器人 軟件 算法 硬件 電子遊戲 物理 工程師 電腦 設計師 體育


對於自動駕駛系統卷積神經網絡的系統性測試

人工智能 無人駕駛 可視化技術 CNN 深度學習 卡爾·高斯 汽車模型 技術 物理 機器學習


分析自動駕駛汽車測試期間發生的自動駕駛脫離

無人駕駛 軟件 技術 工程師 硬件 特斯拉汽車 人生第一份工作 Google


自動駕駛安全性挑戰

無人駕駛 機器學習 技術 軟件 軟件安全 硬件 人機交互 設計 電腦 交通 機器人 歷史


基於區塊鏈的軟件知識產權認證系統的設計與實現

區塊鏈 軟件 設計 技術 知識產權 Linux Docker 阿里雲計算 國創上頭條 數據庫 騰訊雲


基於區塊鏈的軟件交付過程管理系統的設計與實現

區塊鏈 軟件 技術 電腦 設計 數據結構 數據庫 Redis 通信 P2P理財


基於區塊鏈技術的軟件資產交易子系統設計與實現

區塊鏈 軟件 技術 設計 Java 需求分析 物理 算法


TEETHER:發現以太坊的自動化漏洞

比特幣 軟件 區塊鏈 數據結構 分佈式計算 經濟 銀行 虛擬機 技術 JavaScript


VULTRON:持續識別易受攻擊的智能合約

技術 區塊鏈 程序員 設計 軟件 虛擬機 編程語言


智能合約的並行視角

區塊鏈 數據結構 技術 投資


大規模查找貪婪,揮霍和自殺的合約

軟件 編程語言 區塊鏈 虛擬機 新聞


securify:智能合約的實證安全分析

自動推理 設計 區塊鏈 中本聰 技術 阿蘭·圖靈 編程語言 比特幣


KEVM:以太坊虛擬機的完整語義

虛擬機 腳本語言 區塊鏈 編譯器 數據結構 硬件 技術 JSON 編程語言 比特幣


SAFEVM:以太坊智能合約的安全驗證器

區塊鏈 虛擬機 編譯器 編程語言 技術 軟件


ETHIR: 以太坊字節碼高層次分析框架

區塊鏈 GitHub 虛擬機 比特幣 技術 編程語言 證券投資基金


CodeHow:基於API理解和擴展布爾模型的有效代碼搜索(E)

微軟 Azure 程序員 ElasticSearch Microsoft Visual Studio


解決問題查詢的軟件知識圖譜

軟件 軟件工程 Neo4J 數據庫 開源軟件 Apache Lucene Stack Overflo


智能開發環境和軟件知識圖譜

軟件 大數據 軟件工程 算法 技術 設計 可視化技術 美好,一直在身邊 數據挖掘 電腦 信息檢索 B


由軟件文本構建軟件知識圖譜

軟件 Android Java 0verflow Stack Overflow 技術 自然語言處理


基於知識圖譜的智能軟件Bug修復

軟件 推薦技術 Stack Overflow 技術 設計 信息檢索 開源軟件 人生第一份工作 搜索引


軟件缺陷知識庫的特定命名實體識別

軟件 Eclipse 自然語言處理 Mozilla 硬件


TauMed:醫學診斷領域中的圖像分類測試數據擴增

深度學習 技術 人工智能 軟件工程 算法 無人駕駛 南京大學


FCDetector:C++代碼功能克隆檢測工具

軟件 軟件工程 編程語言 C語言 技術 人工智能 深度學習 FLOW 程序設計


FCDetector:C++代碼功能克隆檢測工具

軟件 軟件工程 編程語言 C語言 技術 人工智能 深度學習 FLOW 程序設計