ACIT 2005:
Novosibirsk,
Russia
Yuri I. Shokin, O. I. Potaturkin (Eds.):
Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, Novosibirsk, Russia, June 20-24, 2005.
IASTED/ACTA Press 2005, ISBN 0-88986-475-6 BibTeX
Software Requirements,
Methodologies,
and Architecture
- Andreas S. Andreou, D. Panayidou, Panayiotis Andreou, Andreas Pitsillides:
Preserving Quality in the Development of Mobile Commerce Services and Applications.
1-8 BibTeX
- G. M. Emelyanov, N. A. Stepanova:
Semantic Relation Modeling using Formal Concept Analysis in Russian Lexical Databases.
9-12 BibTeX
- Richard A. Pyne, Sophia McNamarah, Natasha Crooks, Kevon Green, Sanique Hall, Sabrina Johnson, Debbie-Ann Neil:
Heterogeneous Software Repository: MPR a Text-based Model.
13-17 BibTeX
- Mohamad Kassab, Constantinos Constantinides, Olga Ormandjieva:
Specifying and Separating Concerns from Requirements to Design: A Case Study.
18-27 BibTeX
Software Models and Modeling Software
- V. G. Promyslov, E. Ph. Jharko, O. A. Promyslova:
Maintenance and Modification of Complex Software Systems within an Advance Practice.
28-33 BibTeX
- Rohollah Alesheykh, Ahmad Abdollahzadeh Barfroush:
Evaluation and Comparison of Rule Scheduling Approaches in Active Database Systems.
34-40 BibTeX
- Grace W. Rumantir:
Frameworks for Program Decomposition in Cognitive Complexity Measurements.
41-47 BibTeX
- Serge P. Kovalyov, Elena A. Ozhiganova:
Formal Modeling of Software Quality with xNoFun Language.
48-53 BibTeX
- Yoshinobu Tamura, Shigeru Yamada, Mitsuhiro Kimura:
Reliability Assessment Method based on Logarithmic Poisson Execution Time Model for Open Source Project.
54-59 BibTeX
- Victor Okol'nishnikov, Sergey Rudometov:
Simulation of Complex Transportation Systems.
60-64 BibTeX
- Mubarak Sami, Olga Ormandjieva, Vangalur S. Alagar:
A Visualization Tool for Reactive Systems Simulation.
65-70 BibTeX
- Tauqeer Hussain, Shafay Shamail, Mian M. Awais:
On Measuring Structural Complexity of a Conceptual Model.
71-75 BibTeX
Software Engineering I
- Yuri Leonidovich Ershov, V. Filippov, O. Klimenko, O. Trofimov:
Mathtree - Tree Catalog of Mathematical Resources in the Internet.
76-80 BibTeX
- V. Barakhnin, O. Klimenko:
Systematization and the Search of Mathematical Web-Resources.
81-84 BibTeX
- M. Couzinier, Louis Féraud:
Formal Verification of Dynamic UML Diagrams using TLA+.
85-91 BibTeX
- Sergei I. Vyatkin, Boris S. Dolgovesov:
A 3D Texture-based Recursive Multi-Level Ray Casting Algorithm.
92-97 BibTeX
- Jun-Cherng Lin, Yun-Liang Huang, Cheng-Hsiung Liu:
Testability Analysis for Polymorphism.
98-103 BibTeX
- Boris S. Dolgovesov, M. Y. Shevtsov:
Real-Time Volume Rendering Systems.
104-107 BibTeX
- V. I. Dvortsov, S. A. Ivanovsky:
Effective, Computational Stability Parallel Algorithm for Construction of a Pseudo-Triangulation of a Simple Polygon.
108-110 BibTeX
Software Engineering II
- A. V. Veselov, A. V. Shalaginov:
Knowledge Test System "Neuron-2".
111-116 BibTeX
- T. Bönisch, N. Shokina:
Parallelization of a 3D Fluid Flow Simulation Code using Software Engineering Principles.
117-122 BibTeX
- Hong Xiao, Di Wu, Ling Zhang:
Software Component and Prediction for Network Processor based Application.
123-128 BibTeX
- Sergei V. Butakov, Denis V. Rubtsov:
Unsupervised Neural Networks Helpt to Develop Ontologies.
129-130 BibTeX
- Irina V. Borisova, A. Zagoruiko, Nikolay G. Zagoruiko:
Natural Classification and Systematisation Methods.
131-135 BibTeX
- Victor G. Khoroshevsky, Sergey N. Mamoilenko, Yury S. Maidanov, Maxim S. Sedelnikov:
Space-distributed Multicluster Computer System with Multiprogramme Regimes Supporting.
136-138 BibTeX
- A. V. Chernov, Marina A. Chicheva, M. V. Gashnikov, N. I. Glumov, E. V. Myasnikov, V. V. Sergeyev:
Software System for Development of Algorithms for Digital Images Processing and Analysis.
139-142 BibTeX
- Evgeny V. Rusin:
Design and Application of the Library PLVIP for Parallel Image Processing.
143-148 BibTeX
Copyright © Sat May 16 22:55:49 2009
by Michael Ley (ley@uni-trier.de)
