检索结果-内蒙古大学图书馆

Data Mining: How Research Meets Practical Development?

Knowledge and Information systems 2003年第2期5卷 248-261页

作者： Wu, Xindong Yu, Philip S. Piatetsky-Shapiro, Gregory Cercone, Nick Lin, T.Y. Kotagiri, Ramamohanarao Wah, Benjamin W. Department of Computer Science University of Vermont BurlingtonVT United States IBM T. J. Watson Research Center HawthorneNY United States KDnuggets BrooklineMA United States School of Computer Science University of Waterloo WaterlooON Canada Department of Mathematics and Computer Science San Jose State University San JoseCA United States Department of Computer Science and Software Engineering University of Melbourne ParkvilleVIC Australia Computer Systems Research Laboratory University of Illinois Urbana-Champaign UrbanaIL United States Department of Computer Science Universityof Vermont BurlingtonVT05405 United States

At the 2001 IEEE International Conference on Data Mining in San Jose, California,on November 29 to December 2, 2001, there was a panel discussion on how datamining research meets practical development. One of the motivations for organizing thepanel discussion was to provide useful advice for industrial people to explore their directionsin data mining development. Based on the panel discussion, this paper presentsthe views and arguments from the panel members, the Conference Chair and the ProgramCommittee Co-Chairs. These people as a group have both academic and industrialexperiences in different data mining related areas such as databases, machine learning,and neural networks. We will answer questions such as (1) how far data mining is frompractical development, (2) how data mining research differs from practical development,and (3) what are the most promising areas in data mining for practical development. © 2003, Springer-Verlag London Limited.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

A requirements patterns-driven approach to specify systems and check properties

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2648卷 18-33页

作者： Konrad, Sascha Campbell, Laura A. Cheng, Betty H. C. Deng, Min Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States

We previously developed a framework, Hydra, for adding formal semantics to a collection of UML diagrams that enable the automated derivation of formal language specifications for those diagrams. Recently, we have also identified a number of requirements patterns for embedded systems that includes sample UML structural and behavioral diagrams for modeling requirements and high-level design for embedded systems. This paper describes a requirements patterns-driven approach for developing UML diagrams for embedded systems, where each pattern has a constraints section to specify safety and other invariant properties. We show how the diagrams for an industrial automotive system, via specifications generated from Hydra, can be automatically analyzed for adherence to these formally specified constraints using the SPIN model checker. We developed the MINERVA framework to support the graphical construction of UML diagrams and to visualize the results from the SPIN analysis in terms of the original UML diagrams. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

G-monitor: a web portal for monitoring and steering application execution on global grids

G-monitor: a web portal for monitoring and steering applicat...

引用

International Workshop on Challenges of Large Applications in Distributed Environments

作者： M. Placek R. Buyya Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

来源：评论

学校读者我要写书评

暂无评论

On the cost-quality tradeoff in topology-aware overlay path probing

On the cost-quality tradeoff in topology-aware overlay path ...

引用

International Conference on Network Protocols

作者： Chiping Tang P.K. McKinley Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

Path probing is essential to maintaining an efficient overlay network topology. However, the cost of a full-scale probing is as high as O(n/sup 2/), which is prohibitive in large-scale overlay networks. Several methods have been proposed to reduce probing overhead, although at a cost in terms of probing completeness. In this paper, an orthogonal solution is proposed that trades probing overhead for estimation accuracy in sparse networks such as the Internet. The proposed solution uses network-level path composition information (for example, as provided by a topology server) to infer path quality without full-scale probing. The inference metrics include latency, loss rate and available bandwidth. This approach is used to design several probing algorithms, which are evaluated through analysis and simulation. The results show that the proposed method can significantly reduce probing overhead while providing hounded quality estimations for all n /spl times/ (n - 1) overlay paths. The solution is well suited to medium-scale overlay networks in the Internet. In other environments, it can be combined with extant probing algorithms to further improve performance.

关键词： Network topology Costs IP networks Algorithm design and analysis Large-scale systems Network servers Web server Delay Bandwidth Inference algorithms

来源：评论

学校读者我要写书评

暂无评论

Architecture and operation of an adaptable communication substrate

Architecture and operation of an adaptable communication sub...

引用

IEEE Workshop on Future Trends of Distributed Computing systems

作者： S.M. Sadjadi P.K. McKinley E.P. Kasten Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

This paper describes the internal architecture and operation of an adaptable communication component called the MetaSocket. MetaSockets are created using Adaptive Java, a reflective extension to Java that enables a component's internal architecture and behavior to be adapted at run time in response to external stimuli. This paper describes how adaptive behavior is implemented in MetaSockets, as well as how MetaSockets interact with other adaptive components, such as decision makers and event mediators. Results of experiments on a mobile computing testbed demonstrate how MetaSockets respond to dynamic wireless channel conditions in order to improve the quality of interactive audio streams delivered to iPAQ handheld computers.

关键词： Java computer architecture Handheld computers Application software Military computing computer languages Middleware Sockets Time factors Streaming media

来源：评论

学校读者我要写书评

暂无评论

Enhancing the fault-tolerance of nonmasking programs

Enhancing the fault-tolerance of nonmasking programs

引用

International Conference on Distributed Computing systems

作者： S.S. Kulkarni A. Ebnenasir Department of Computer Science and Engineering Software Engineering and Network Systems Laboratory Michigan State University East Lansing MI USA

In this paper we focus on automated techniques to enhance the fault-tolerance of a nonmasking fault-tolerant program to masking. A masking program continually satisfies its specification even if faults occur. By contrast, a nonmasking program merely guarantees that after faults stop occurring, the program recovers to states from where it continually satisfies its specification. Until the recovery is complete, however a nonmasking program can violate its (safety) specification. Thus, the problem of enhancing fault-tolerance from nonmasking to masking requires that safety be added and recovery be preserved. We focus on this enhancement problem for high atomicity programs-where each process can read all variables-and for distributed programs-where restrictions are imposed on what processes can read and write. We present a sound and complete algorithm for high atomicity programs and a sound algorithm for distributed programs. We also argue that our algorithms are simpler than previous algorithms, where masking fault-tolerance is added to a fault-intolerant program. Hence, these algorithms can partially reap the benefits of automation when the cost of adding masking fault-tolerance to a fault-intolerant program is high. To illustrate these algorithms, we show how the masking fault-tolerant programs for triple modular redundancy and Byzantine agreement can be obtained by enhancing the fault-tolerance of the corresponding nonmasking versions. We also discuss how the derivation of these programs is simplified when we begin with a nonmasking fault-tolerant program.

关键词： Fault tolerance Safety Fault tolerant systems software engineering Laboratories computer science Automation Costs Redundancy engineering profession

来源：评论

学校读者我要写书评

暂无评论

XML and the semantic web: What is the future?

Proceedings of the 36th Annual Hawaii International Conferen...

引用

Proceedings of the 36th Annual Hawaii International Conference on System sciences, HICSS 2003 2003年 123-124页

作者： Chen, P. Bryan, George Vouk, Mladen Potok, Thomas E. Elmore, Mark Department of Computer Science Louisiana State University United States Centre for Advanced Systems Engineering University of Western Sydney Australia Department of Computer Science North Carolina State University United States Applied Software Engineering Research Group Oak Ridge National Laboratory United States

来源：评论

学校读者我要写书评

暂无评论

Real-time embedded system support for the BTeV level 1 muon trigger

Real-time embedded system support for the BTeV level 1 muon ...

引用

2003 IEEE Nuclear science Symposium Conference Record - Nuclear science Symposium, Medical Imaging Conference

作者： Haney, Michael J. Beauregard, D. Iyer, R. Kalbarczyk, Z. Liu, Q. Wang, L. Haney, M. Selen, M. Mosse, D. Shigiltchoff, O. Chopade, R. Hovey, L. Jung, M. Messie, D. Oh, J. Stone, S. Bapty, T. Neema, S. Nordstrom, S. Shetty, S. Vashishtha, S. Yao, D. Sheldon, P. Vaandering, E. Butler, J. Gottschalk, E. Kowalkowski, J. Votava, M. Appel, J. University of Illinois Urbana IL 61801 United States Des./Validation Reliable N.S.R.G. University of Illinois High Energy Physics Group Department of Physics University of Illinois Department of Computer Science Coll. in High Sch. Educ. Program University of Pittsburgh Department of Electrical Engineering Syracuse University High Energy Physics Group Department of Physics Syracuse University Inst. for Software Intgd. Systems Vanderbilt University Department of Physics BTeV Group Vanderbilt University BTeV Collaboration Particle Physics Division Fermi Natl. Accelerator Laboratory Computing Division Fermi Natl. Accelerator Laboratory Fermilab Education Office Fermi Natl. Accelerator Laboratory

The Level 1 Muon Trigger subsystem for BTeV will be implemented using the same architectural building blocks as the BTeV Level 1 Pixel Trigger: pipelined field programmable gate arrays feeding a farm of dedicated processing elements. The muon trigger algorithm identifies candidate tracks, and is sensitive to the muon charge (sign);candidate dimuon events are identified by complementary charge track-pairs. To insure that the trigger is operating effectively, the trigger development team is actively collaborating in an independent multi-university research program for reliable, self-aware, fault adaptive behavior in real-time embedded systems (RTES). Key elements of the architecture, algorithm, performance, and engineered reliability are presented.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Automatically detecting and visualising errors in UML diagrams

引用

Requirements engineering 2002年第4期7卷 264-287页

作者： Campbell, Laura A. Cheng, Betty H. C. McUmber, William E. Stirewalt, R.E.K. Department of Computer Science and Engineering Michigan State University East Lansing MI United States Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States

UML has become the de facto standard for object-oriented modelling. Currently, UML comprises several different notations with no formal semantics attached to the individual diagrams or their integration, thus preventing rigorous analysis of the diagrams. Previously, we developed a formalisation framework that attaches formal semantics to a subset of UML diagrams used to model embedded systems. This paper describes automated structural and behavioural analyses applicable to UML diagrams using our formalisation framework. In addition to intra- and inter-diagram consistency checks, we discuss how simulation and model checking can be used in tandem for behavioural analysis of the UML diagrams. Our tools also visually interpret the analysis results in terms of the original UML diagrams, thereby facilitating their correction and refinement. We illustrate these capabilities through the modelling and analysis of UML diagrams for an automotive industrial case study. © 2002 Springer-Verlag London Limited.

关键词： Formal specifications Model checking Simulation UML

来源：评论

学校读者我要写书评

暂无评论

Comparisons of error control techniques for wireless video multicasting

Comparisons of error control techniques for wireless video m...

引用

IEEE International Conference on Performance, Computing and Communications (IPCCC)

作者： Peng Ge P.K. McKinley Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

ISBN: (纸本)0780373715

This paper explores three different methods, employed separately and in combination, to improve the quality of video delivery on wireless local area networks. The approaches are: leader-driven multicast (LDM), monitoring MAC layer unicast (re)transmissions by other receivers; application-level forward error correction (FEC) using block erasure codes; negative feedback from selected receivers in the form of extra parity requests (EPR). The performance of these three methods is evaluated using both experiments on a mobile computing testbed and simulation. The results indicate that, while LDM is helpful in improving the raw packet reception rate, the combination of FEC and EPR is most effective in improving the frame delivery rate.

关键词： Error correction Forward error correction Paramagnetic resonance Wireless LAN Monitoring Unicast Negative feedback Mobile computing Testing Computational modeling

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：