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

IEEE International Symposium on Multimedia

作者： Fei Xie Haitao Gong Donghua Deng Shu Wang George T. Wang Jicheng Hu Phillip C-y Sheu Department of EECS University of California Irvine CA USA Department of Computer Science California State University Northridge CA USA State Key Laboratory of Software Engineering Wuhan University Wuhan China

ISBN: (纸本)0769527469;9780769527468

Although extensive research on Web services has been reported in the last decade, problems still remain due to the lack of natural language query support, the lack of automatic service discovery and composition, and the existence of a large number of existing web sites that are query driven. In this paper we introduce a framework that integrates some novel solutions to the above problems. Specifically we differentiate query-based services (QBS) from the traditional function-based services (FBS) and address the following issues: natural language user interface, automatic service discovery and composition, and semantic UDDI

关键词： Semantic Web Natural languages Web services Ontologies Microstrip Artificial intelligence OWL software agents Knowledge engineering User interfaces

来源：评论

学校读者我要写书评

暂无评论

Modeling Security Vulnerabilities: A Constraints and Assumptions Perspective

Modeling Security Vulnerabilities: A Constraints and Assumpt...

引用

IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC)

作者： Anil Bazaz James D. Arthur Joseph G. Tront Software Protection Platform Team Microsoft Inc. Redmond WA USA Department of Computer Science Virginia Polytechnic Institute and State University Blacksburg VA USA Department of Electrical and Computer Engineering Virginia Polytechnic Institute and State University Blacksburg VA USA

Preventing exploits from compromising software applications requires a fundamental understanding of how they are being exploited, and then leveraging that understanding in the formulation of tests that reveal software application vulnerabilities. To advance that understanding this paper first presents a process/object model of computation that establishes a relationship between software vulnerabilities, an executing process, and computer system resources such as memory, input/output, and cryptographic resources. That relationship promotes the concept that a software application is vulnerable to exploits when it violates (a) constraints imposed by computer system resources or (b) assumptions made about the usage of those resources. Secondly, the process/object model also serves as a foundation for the definition of a taxonomy of vulnerabilities. That is, the computer system resources (or objects) identified in the process/object model form the categories and refined subcategories of the taxonomy. Vulnerabilities, which are expressed in the form of constraints and assumptions, are classified within the taxonomy according to these categories and subcategories. This taxonomy of vulnerabilities is novel and distinctively different from other taxonomies found in literature, and is also outlined in this paper

关键词： Application software Taxonomy Computational modeling Cryptography computer applications Internet computer security software protection computer science software testing

来源：评论

学校读者我要写书评

暂无评论

Asynchronous Callback in Web Services

Asynchronous Callback in Web Services

引用

ACIS International Conference on software engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)

作者： Kai Qian Jigang Liu LiXin Tao Department of Software Engineering Southern Polytechnic State University Marietta GA USA Department of Information and Computer Sciences Metropolitan State University Saint Paul MI USA Department of Computer Science Pace University White Plains NY USA

Web service technology is a component-oriented and SOAP-based interoperable technology widely adopted in enterprise application to application (A2A), business to business (B2B), and enterprise application integration (EAI) applications. Web service component composite and connection models are the key issues to make Web service successful in the future. Web service standard and specification does not support event-based asynchronous callback which is very important for transaction or delayed business application. This paper presents a callback Web services enable proxy approaches to implement callback in Web services without modifying existing Web services providers. In addition, a universal callback reusable proxy design pattern is also proposed, which provides a platform, language, proprietary and technology independent service middleware for multiple clients to share and get services from multiple service providers in an asynchronous event-based implicit invocation communication mode

关键词： Web services Application software Distributed computing Simple object access protocol software engineering Service oriented architecture Web and internet services Message passing computer science Delay

来源：评论

学校读者我要写书评

暂无评论

Implementation and analysis of environment behavior models as a tool for testing real-time, reactive systems

Implementation and analysis of environment behavior models a...

引用

IEEE International Conference on System of Systems engineering (SoSE)

作者： H. Tummala M. Auguston J.B. Michael M.-T. Shing D. Little Z. Pace Department of Electrical Engineering and Computer Sciences University of California Berkeley Berkeley CA USA Department of Computer Science Naval Postgraduate School Monterrey CA USA Department of Mathematics California Polytechnic State University San Louis Obispo CA USA Department of Electrical and Computer Engineering Duke University Durham NC USA

We explored the effectiveness of using environment behavior models as a method for testing and analyzing real-time, reactive software systems. Through the automatic generation of test case scenarios based on attributed event grammar, environment behavior models subject the system under test (SUT) to a range of potentially hazardous states. We explored the extent to which experiments with a SUT embedded in an environment behavior model serve as a constructive method for quantitative and qualitative assessment of software system safety. This was done by implementing simulations in which an environment behavior model interacted with the safety-critical computer-assisted resuscitation algorithm (CARA), which is used with a casualty intravenous fluid infusion pump. It was found that with regard to real-time reactive systems, environment behavior models can be used as an effective tool for qualitative and quantitative safety assessment, as well as for improvement of the SUT

关键词： System testing Real time systems Automatic testing Mathematical model software testing software systems Safety Automation computer science Mathematics

来源：评论

学校读者我要写书评

暂无评论

Helper thread prefetching for loosely-coupled multiprocessor systems 06

Helper thread prefetching for loosely-coupled multiprocessor...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： Changhee Jung Daeseob Lim Jaejin Lee Y. Solihin Embedded Software Research Division Electronics and Telecommnications Research Institute Daejeon South Korea Department of Computer Science and Engineering University of California La Jolla CA USA School of Computer Science and Engineering Seoul National University of Technology Seoul South Korea Department of Electrical and Computer Engineering North Carolina State University Raleigh NC USA

ISBN: (纸本)9781424400546

This paper presents a helper thread prefetching scheme that is designed to work on loosely-coupled processors, such as in a standard chip multiprocessor (CMP) system or an intelligent memory system. Loosely-coupled processors have an advantage in that fine-grain resources, such as processor and L1 cache resources, are not contended by the application and helper threads, hence preserving the speed of the application. However, inter-processor communication is expensive in such a system. We present techniques to alleviate this. Our approach exploits large loop-based code regions and is based on a new synchronization mechanism between the application and helper threads. This mechanism precisely controls how far ahead the execution of the helper thread can be with respect to the application thread. We found that this is important in ensuring prefetching timeliness and avoiding cache pollution. To demonstrate that prefetching in a loosely-coupled system can be done effectively, we evaluate our prefetching in a standard, unmodified CMP system, and in an intelligent memory system where a simple processor in memory executes the helper thread. Evaluating our scheme with nine memory-intensive applications with the memory processor in DRAM achieves an average speedup of 1.25. Moreover, our scheme works well in combination with a conventional processor-side sequential L1 prefetcher, resulting in an average speedup of 1.31. In a standard CMP, the scheme achieves an average speedup of 1.33.

关键词： Yarn Prefetching Multiprocessing systems Intelligent systems computer science Design engineering Delay Hardware Embedded software Drives

来源：评论

学校读者我要写书评

暂无评论

An Evolutionary Computational Method for N-Connection Subgraph Discovery

An Evolutionary Computational Method for N-Connection Subgra...

引用

International Conference on Tools for Artificial Intelligence (ICTAI)

作者： Enhong Chen Xujia Chen Phillip C-y Sheu Tieyun Qian Department of CS University of Science and Technology Hefei Anhui China State Key Laboratory of Software Engineering Wuhan University of China China Department of EECS University of California Irvine CA USA Department of Computer Science Huazhong University of Science and Technology Wuhan Hubei China

The problem of n-connection subgraph discovery (n-CSDP for short) is to find a small sized subgraph that can well capture the relationship among the n given nodes in a large graph. However there have been very few researches directly addressing the CSDP problem. Furthermore the currently available methods, for example, the electricity analogues based algorithm can only be suitable for tackling the 2-keynodes CSDP and does not work any more when n is greater than two. To deal with this problem, we propose an effective approach to discover the subgraph in two stages. In the first stage, we propose a neighbor-growth based method to extract a relatively bigger candidate subgraph compared with that of result subgraph. In the second stage, an evolutionary algorithm for optimizing the result subgraph is proposed. For this purpose, UTM code, a transformed representation of the adjacent matrix of graphs is designed to encode the topology of subgraph as individuals. Then corresponding evolutionary operators able to be directly performed on UTM code are given. Thus the efficiency of the algorithm is largely improved. The experimental results obtained on two real large scale graphs with different topology characteristics demonstrate that our method solves n-connection subgraph discovery problems effectively

关键词： Turing machines Topology Evolutionary computation Motion pictures Algorithm design and analysis software engineering computer science Large-scale systems Social network services Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Nanometer-scale resolution microscopy with compact extreme ultraviolet lasers

Nanometer-scale resolution microscopy with compact extreme u...

引用

IEEE Photonics Conference (IPC)

作者： C. S. Menoni E. H. Vaschenko F. Brizuela C. Brewer Y. Wang M. A. Larotonda B. M. Luther M. C. Marconi J. J. Rocca W. Chao J. A. Liddle Y. Liu E. H. Anderson D. T. Attwood A. V. Vinogradov I. A. Artioukov Y. P. Pershyn V. V. Kondratenko NSF ERC for Extreme Ultraviolet Science and Technology Department of Electrical and Computer Engineering Colorado State University Fort Collins CO USA NSF ERC for Extreme Ultraviolet Science and Technology Center for X-ray Optics Lawrence Berkeley National Laboratory University of California Berkeley CA USA P. N. Lebedev Physical Institute of the Russian Academy of Sciences Russia National Technical University Kharkov Polytechnic Institute Ukraine

In this paper, we have demonstrated nanoscale resolution microscopy in transmission and reflection modes using the lambda=46.9 nm and lambda=13 nm wavelength output from table-top EUV lasers. This compact microscope acquires high quality images in transmission and reflection modes in tens of seconds. Its spatial resolution has been determined to be 120-150 nm

关键词： Ultraviolet sources Spatial resolution Laser modes Optical microscopy Chaos Optical imaging Nanobioscience Image resolution Biomedical optical imaging Optical saturation

来源：评论

学校读者我要写书评

暂无评论

Meeting the Information Assurance Crisis in the U.S. Now

引用

EDPACS 2006年第6期28卷 1-14页

作者： Corey Schou Deborah Frincke Charles Reynolds James Frost The Associate Dean of Information Systems Programs at Idaho State University (ISU) in Pocatello and the director of the Center for Decision Support. Currently he serves as the Chair of the National Colloquium on Information System Security Education. Schou also directs the ISU National Center of Excellence in Information Assurance Education and the ISU Technology Innovation Center. Contact Corey Schou one of the authors of this article and the Chair of the NCISSE by email at Schou@*** for help in finding additional ways to address the issues raised in this article. A member of the University of Idaho College of Engineering faculty. She graduated from the University of California at Davis. Frincke is the co-director and co-founder of the university's Center for Secure and Dependable Software (CSDS). She was the program chair for the 2nd International Workshop on Recent Advances in Intrusion Detection (RAID). A professor of Computer Science at the College of Integrated Science and Technology at James Madison University in Harrisonburg Virginia. He holds a Ph.D. in computer science from the University of Texas at Austin and a BA in philosophy from the University of Houston. Reynolds is the Director of Information System Security Education at James Madison University. Since 1997 Reynolds has led the development of the first remote Internet-based curriculum that leads to an M.S. degree in computer science with a concentration in information security. Thus far 160 students have completed this program. A professor of computer information systems at Idaho State University and the manager of its Simplot Decision Support Center.

T he only difference etween evolution and revolution is the speed at which each occurs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Abstracts from the 6th International Conference on the engineering of Sport, 10-14 July 2006, Olympic Hall, Munich, Germany Abstracts

引用

SPORTS engineering 2006年第2期9卷 107-127页

作者： [Anonymous] University of Massachusetts Lowell USA Science & Mathematics Department Kettering University Flint USA University of Illinois USA Western Michigan University USA Washington State University USA Casecade Engine USA Kanazawa University Japan Sumitomo Light Metal Japan Massachusetts Institute of Technology USA Nanyang Technological University Bioengineering Singapore University of Vienna Anthropology Austria Department of Mechanical Engineering University of Bath UK INSA Lyon France PETZL France Sports Materials Research Group University of Birmingham UK Laboratoire de Modélisation des Activités Sportives Bourget du Lac France Technical University Kaiserslautern Germany Department of Engineering Mechanics United States Air Force Academy Colorado Springs USA SRAM Corporation Colorado Springs USA Sports Engineering Research Group University of Sheffield UK Sports Engineering CSES Sheffield Hallam University USA Sports Engineering CSES Sheffield Hallam University UK Technische Universität München Germany Rush University Medical Center Chicago USA Faculty of Sports Science Department of Sport Equipment & Materials TU München Germany RMIT University Australia Institute of Health and Sports Sciences University of Tsukuba Ibaraki Japan Machine and Control Department Polytechnic University Kanagawa Japan SRI Sports Ltd. Hyogo Japan SRI Research and Development Ltd. Hyogo Japan Mizuno Corporation Osaka Japan Fukuoka Institute of Technology Fukuoka Japan University of Limerick Éire Graduate School of Engineering Hokkaido University Japan Faculty of Engineering Kitami Institute of Technology Japan University of Calgary Canada TaylorMade-adidas Golf Company USA Davis Mechanical Engineering University of California USA Davis Mechanical & Aeronautical Engineering University of California USA University of Wales Institute Cardiff Cardiff School of Sport UWIC Cardiff Cardiff School of Sport UWIC Wales Loughborough University UK Cranfield University UK Cr

来源：评论

学校读者我要写书评

暂无评论

A comparison on information fusion methods for air target identification 05

A comparison on information fusion methods for air target id...

引用

20th Annual ACM Symposium on Applied Computing

作者： Jang, Dongseob Shin, Sung Y. Shim, Charlie Y. Hung, C.C. Computing and Software McMaster University Hamilton L8S4M2 EE and Computer Science Department South Dakota State University Brookings SD 57007 School of Computing and Software Engineering Southern Polytechnic State University Marietta GA 30060

ISBN: (纸本)9781581139648

We compared the performance of Bayes Theory, Fuzzy Set Theory, Heuristic method and Dempster-Shafer Theory in the identification of aircrafts by using the information from different sensors. From the results of the simulation, the Fuzzy method produces the best result. The final identification could be improved if specific features of each type of aircraft are available. To get more accurate object identification, the results from each method can be combined with the best assignment of values for each method. Copyright 2005 ACM.

关键词： Information theory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：