Grid services engineering and management , 2004 , lecture notes in computer science , 3270 : 94 - 106 . 11 ganeriwal s , srivastava m b . trustworthy sensor networks : issues challenges . nesl technical report , august 2004 , http : www . ee . ucla . edu simsaurabh publications tech - report - integrity . pdf 另一方面,网络的异构化和业务多元化日益显著,自治性演化性安全性鲁棒性移动性和服务质量等网络多元化属性需求不断增加,使得传统网络的控制管理平面的功能不断变化。
11 mounlinier i , ganascia j g . applying an existing machine learning algorithm to text categorization . in connectionist statistical , and symbolic approaches to learning for natural language processing , wermter s , riloff e , scheler g eds . , heidelberg , germany : springer verlag , lecture notes in computer science , vol 由于挖掘出的特征项目集可能很多,为了进一步的精简项目集,提出了一个以可变精度粗糙集模型为基础的方法对每个特征频繁项目集对分类的贡献进行评估,剪除那些对最后的分类效果贡献不大的项目集,并用精简后的项目集构造每类文档的主题模板。
7 wang y , hong x l , jing t , yang y , hu x d , yan g y . an efficient low - degree rmst algorithm for vlsi ulsi physical design . lecture notes in computer science lncs 3254 - integrated circuits and system design , santorini , greece , sept . 2004 , pp . 442 - 452 . 8 xu j y , hong x l , jing t , cai y c , gu j . an efficient hierarchical timing - driven steiner tree algorithm for global routing 对于实际电路中常见规模的线网端点个数小于50 , aco - steiner能达到最优解,当端点数目大于50的时候, aco - steiner能够将线长控制在精确解的1 %误差以内,而且保持快的运行速度,而当端点个数为1000的时候, geosteiner3 . 1已经不能处理。
21 majster - cederbaum m , salger f . towards the hierarchical verification of reactive systems . theoretical computer science , 2004 , 318 : 243 - 296 . 22 winskel g . an introduction to event structures . lecture notes in computer science 354 , 1989 , pp . 364 - 397 . 23 hoare c a r . communicating sequential processes , prentice - hall , 1985 本文分别在语法和语义层次上对动作精化进行了定义,并证明了这两个层次的动作精化在前述两种等价关系下,关于一种基于完全偏序的指称语义是一致的。
11 katoen j - p , langerak r , latella d , brinksma e . on specifying real - time systems in a causality - based setting . lecture notes in computer science 1135 , 1996 , pp . 385 - 405 . 12 fecher h , majster - cederbaum m , wu j . refinement of actions in a real - time process algebra with a true concurrency model 在系统模型的结构表示上,本文扩充了传统的事件结构,使用一种带时间信息的捆绑式事件结构来模拟系统行为,在系统模型的语言刻画上,本文采用的是带时间的类lotos进程代数描述语言,对于动作精化,我们同样采用算子的观点,将动作精化定义为一个操作算子。
Lecture Notes in Computer Science (LNCS) is a series of computer science books that has been published by Springer Science+Business Media (formerly Springer-Verlag) since 1973.Lecture Notes in Computer Science (LNCS), DBLP.