Titlebook: Information and Software Technologies; 20th International C Giedre Dregvaite,Robertas Damasevicius Conference proceedings 2014 Springer Int

IST

绕着哥哥问

Communications in Computer and Information Sciencehttp://image.papertrans.cn/i/image/465958.jpg

dissolution

Comparison of Genetic Programming, Grammatical Evolution and Gene Expression Programming Techniquestion and Gene Expression Programming. These algorithms were applied to different type test problems with the same set of parameters. The results of the experiments and some insights on similar experiments of the other authors are provided.

谷物

不舒服

Information System for Monitoring and Forecast of Building Heat Consumption the heating supply system for monitoring in real-time. The HeatCAM system (web-based information system for monitoring and prediction of building heat consumption) was implemented to provide analysis of current state of heating in buildings and short-term prediction of the required amount of heat under certain climatic conditions.

诱拐

内行

Information Systems Requirements Specification and Usage in Test Case Generationfor this purpose. This paper presents the methodology and practical evaluation of the description of requirements and their use in generating test cases. This decision is relevant for the information system analytics and testers, test managers and others involved in test process.

verdict

Communications and Security Aspects of Smart Grid Networks Designf Smart Grid network communication infrastructure, which enables complex perspective of the given issue and its effective use. It presents different power grid management requirements in various types of regions in Czech Republic.

nettle

Paper presents a technique for fuzzy rule ext the results to other sources. A comparative analysis of a productivity of traffic light controllers developed using an expert rule base and a rule base formed using our technique is given. Iris classification problem is considered too. Comparison results prove better accuracy of the technique suggested.

bronchodilator

Formalization of Mobile UML Statechart Diagrams Using the ,-calculus: An Approach for Modeling and Amal semantics for such diagrams. The generated .-calculus specifications are then used to analyze and check systems using .-calculus analytical tools (e.g. MWB tool). We illustrate our approach by an example.