中文版 | English

在结果中检索

CASIA OpenIR

浏览/检索结果: 共9条，第1-9条 帮助

限定条件                    
已选(0)清除 条数/页：   排序方式：
Efficient Web content delivery using proxy caching techniques 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2004, 卷号: 34, 期号: 3, 页码: 270-280
作者:  Zeng, D;  Wang, FY;  Liu, MK
Adobe PDF(174Kb)  |  收藏  |  浏览/下载：260/86  |  提交时间：2015/11/08
Caching Performance Evaluation  Dynamic Content Caching  Proxy Caching  Web Caching  
A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99
作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
收藏  |  浏览/下载：234/0  |  提交时间：2015/11/08
Correctness  Formal Verification  Petri Nets (Pns)  Stock Trading Systems  Temporal Logic  
A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99
作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
收藏  |  浏览/下载：196/0  |  提交时间：2015/11/08
Correctness  Formal Verification  Petri Nets (Pns)  Stock Trading Systems  Temporal Logic  
Networking, sensing, and control for networked control systems: Architectures, algorithms, and applications 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2007, 卷号: 37, 期号: 2, 页码: 157-159
作者:  Wang, Fei-Yue;  Liu, Derong;  Yang, Simon X.;  Li, Li
Adobe PDF(89Kb)  |  收藏  |  浏览/下载：287/54  |  提交时间：2015/11/08
Fairness and dynamic flow control in both unicast and multicast architecture networks 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2007, 卷号: 37, 期号: 2, 页码: 206-212
作者:  Yang, Yuequan;  Cao, Zhiqiang;  Tan, Min;  Yi, Jianqiang
浏览  |  Adobe PDF(196Kb)  |  收藏  |  浏览/下载：266/71  |  提交时间：2015/11/08
Fairness  Flow Control  Multicast  Stability  Unicast  
Role-based collaboration and its kernel mechanisms 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2006, 卷号: 36, 期号: 4, 页码: 578-589
作者:  Zhu, Haibin;  Zhou, MengChu
收藏  |  浏览/下载：102/0  |  提交时间：2015/11/08
Collaboration  Computer-supported Cooperative Work (Cscw)  Role  
An efficient coordinate frame calibration method for 3-D measurement by multiple camera systems 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2005, 卷号: 35, 期号: 4, 页码: 453-464
作者:  Wang, FY
浏览  |  Adobe PDF(433Kb)  |  收藏  |  浏览/下载：316/94  |  提交时间：2015/11/06
Camera Calibration  Extrinsic Parameter Calibration  Multiple Cameras  Stereo Cameras  Three-dimensional (3-d) Measurement  
Improving iris recognition accuracy via cascaded classifiers 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2005, 卷号: 35, 期号: 3, 页码: 435-441
作者:  Sun, ZN;  Wang, YH;  Tan, TN;  Cui, JL
收藏  |  浏览/下载：88/0  |  提交时间：2015/11/06
Biometrics  Blob Matching  Cascaded Classifiers  Iris Recognition  
Ladder diagram and Petri-net-based discrete-event control design methods 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2004, 卷号: 34, 期号: 4, 页码: 523-531
作者:  Sen Peng, S;  Zhou, MC
收藏  |  浏览/下载：112/0  |  提交时间：2015/11/06
Discrete Event Control System (Decs)  Ladder Diagram (Ld)  Petri Nets (Pn)  Programmable Logic Controller (Plc)