Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Enforcing Data-Aware Business Processes Using Execution Path-Oriented StrategiesMo, Qi ; Wang, Jianeng ; Jiang, Yi ; Xie, Zhongwen ; Wang, Wei ; Liu, Cong ; Dai, FeiIEEE transactions on systems, man, and cybernetics. Systems, 2024-08, p.1-15 [Periódico revisado por pares]IEEETexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Parallel and Asynchronous Smart Contract ExecutionLiu, Jian ; Li, Peilun ; Cheng, Raymond ; Asokan, N. ; Song, DawnIEEE transactions on parallel and distributed systems, 2022-05, Vol.33 (5), p.1097-1108 [Periódico revisado por pares]IEEETexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Parallel Transportation Systems: Toward IoT-Enabled Smart Urban Traffic Control and ManagementZhu, Fenghua ; Lv, Yisheng ; Chen, Yuanyuan ; Wang, Xiao ; Xiong, Gang ; Wang, Fei-YueIEEE transactions on intelligent transportation systems, 2020-10, Vol.21 (10), p.4063-4071 [Periódico revisado por pares]IEEETexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Efficient Execution of Arbitrarily Complex Cross-Shard Contracts for Blockchain ShardingZhang, Jianting ; Chen, Wuhui ; Hong, Zicong ; Xiao, Gang ; Du, Linlin ; Zheng, ZibinIEEE transactions on computers, 2024-05, Vol.73 (5), p.1190-1205 [Periódico revisado por pares]IEEETexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Coverage-Based Greybox Fuzzing as Markov ChainBohme, Marcel ; Van-Thuan Pham ; Roychoudhury, AbhikIEEE transactions on software engineering, 2019-05, Vol.45 (5), p.489-506 [Periódico revisado por pares]New York: IEEETexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Active Learning of Dynamics for Data-Driven Control Using Koopman OperatorsAbraham, Ian ; Murphey, Todd D.IEEE transactions on robotics, 2019-10, Vol.35 (5), p.1071-1083 [Periódico revisado por pares]IEEETexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
A Survey on Software Fault LocalizationWong, W. Eric ; Ruizhi Gao ; Yihao Li ; Abreu, Rui ; Wotawa, FranzIEEE transactions on software engineering, 2016-08, Vol.42 (8), p.707-740 [Periódico revisado por pares]New York: IEEETexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Enhancing Dynamic Symbolic Execution by Automatically Learning Search HeuristicsCha, Sooyoung ; Hong, Seongjoon ; Bak, Jiseong ; Kim, Jingyoung ; Lee, Junhee ; Oh, HakjooIEEE transactions on software engineering, 2022-09, Vol.48 (9), p.3640-3663 [Periódico revisado por pares]New York: IEEETexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Unity is Strength: Enhancing Precision in Reentrancy Vulnerability Detection of Smart Contract Analysis ToolsWang, Zexu ; Chen, Jiachi ; Zheng, Peilin ; Zhang, Yu ; Zhang, Weizhe ; Zheng, ZibinIEEE transactions on software engineering, 2024-07, p.1-12 [Periódico revisado por pares]IEEETexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Information-Oriented Random Walks and Pipeline Optimization for Distributed Graph EmbeddingFang, Peng ; Li, Zhenli ; Khan, Arijit ; Luo, Siqiang ; Wang, Fang ; Shi, Zhan ; Feng, DanIEEE transactions on knowledge and data engineering, 2024-07, p.1-14 [Periódico revisado por pares]IEEETexto completo disponível |