|
已选(0)清除
条数/页： 排序方式： |
| utilization bound for periodic task set with composite deadline 期刊论文
Computers and Electrical Engineering, 2010, 卷号: 36, 期号: 6, 页码: 1101-1109
作者: Min-Allah Nasro; Ali Ishtiaq; Xing Jiansheng; Wang Yongji
 Adobe PDF(304Kb) |  收藏 | 浏览/下载：98/0 | 提交时间：2011/05/24
Online SystemsPolynomial ApproximationResponse Time (Computer Systems)SchedulingTesting |
| an improved smart card based password authentication scheme with provable security 期刊论文
COMPUTER STANDARDS & INTERFACES, 2009, 卷号: 31, 期号: 4, 页码: 723-728
作者: Xu Jing; Zhu Wen-Tao; Feng Deng-Guo
Adobe PDF(741Kb) | 收藏 | 浏览/下载：150/0 | 提交时间：2011/03/18
Network Security |
| enumerating proofs of positive formulae 期刊论文
COMPUTER JOURNAL, 2009, 卷号: 52, 期号: 7, 页码: 799-807
作者: Dowek Gilles; Jiang Ying
收藏 | 浏览/下载：146/0 | 提交时间：2011/03/18
Positive FormulaeEnumerating ProofsMinimal Predicate Logic |
| a parallel shortest path algorithm based on graph-partitioning and iterative correcting 期刊论文
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2009, 卷号: 24, 期号: 5, 页码: 351-360
作者: Tang Yuxin; Zhang Yunquan; Chen Hu
收藏 | 浏览/下载：112/0 | 提交时间：2011/03/18
Parallel Shortest Path AlgorithmIntelligent TransportationParallel ComputingGraph Partitioning |
| lumiproxy: a hybrid representation of image-based models 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 卷号: 24, 期号: 3, 页码: 578-587
作者: Sheng Bin; Zhu Jian; Wu En-Hua; Zhang Yan-Ci
Adobe PDF(2494Kb) | 收藏 | 浏览/下载：99/0 | 提交时间：2011/03/18
Lumiproxy |
| improved bounded model checking for the universal fragment of ctl 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 卷号: 24, 期号: 1, 页码: 96-109
作者: Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui
收藏 | 浏览/下载：95/0 | 提交时间：2011/03/18
Software VerificationModel Checking AlgorithmBounded Model CheckingActlSat |
| effective and efficient event dissemination for rfid applications 期刊论文
COMPUTER JOURNAL, 2009, 卷号: 52, 期号: 8, 页码: 988-1005
作者: Jin Beihong; Zhao Xinchao; Long Zhenyue; Qi Fengliang; Yu Shuang
收藏 | 浏览/下载：82/0 | 提交时间：2011/03/18
PubSub SystemSubscription Matching AlgorithmsRfid Applications |
| runtime monitoring compositeweb services through stateful aspect extension 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 卷号: 24, 期号: 2, 页码: 294-308
作者: Huang Tao; Wu Guo-Quan; Wei Jun
收藏 | 浏览/下载：92/0 | 提交时间：2011/03/18
Runtime MonitoringAspect-oriented ProgrammingWs-bpel |
| on constrained facility location problems 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2008, 卷号: 23, 期号: 5, 页码: 740-748
作者: Li Wei-Lin; Zhang Peng; Zhu Da-Ming
Adobe PDF(427Kb) | 收藏 | 浏览/下载：93/0 | 提交时间：2011/06/10
Approximation AlgorithmFacility LocationLocal SearchApproximation Hardness |
| thta: triangle-shaped hierarchy aggregation time allocation algorithm for wireless sensor network 期刊论文
WCNC 2008: IEEE WIRELESS COMMUNICATIONS & NETWORKING CONFERENCE, VOLS 1-7, 2008, 期号: 1, 页码: 2397-2402
作者: Huangfu Wei; Duan Bin; Sun Limin; Chen Canfeng; Ma Jian
Adobe PDF(276Kb) | 收藏 | 浏览/下载：92/0 | 提交时间：2011/06/10
Data AggregationWireless Sensor NetworkOptimizationTransmission DelayHierarchy FactorsCritical Aggregation Level |
