researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2005
Filter by Tag
[+]
OR
AND
NOT
1
Meta-Environment
UML
analysis
case study
classification
data-flow
database
design
e-science
language modeling
maintenance
meta-model
mobile
modeling
modeling language
ontologies
ontology
open-source
rule-based
testing
Filter by Author
[+]
OR
AND
NOT
1
A. V. Chernov
A. V. Shalaginov
A. V. Veselov
A. Zagoruiko
Ahmad Abdollahzadeh Barfroush
Andreas Pitsillides
Andreas S. Andreou
Boris S. Dolgovesov
Cheng-Hsiung Liu
Constantinos Constantinides
D. Panayidou
Debbie-Ann Neil
Denis V. Rubtsov
Di Wu
E. Ph. Jharko
E. V. Myasnikov
Elena A. Ozhiganova
Evgeny V. Rusin
O. Klimenko
Olga Ormandjieva
Filter by Top terms
[+]
OR
AND
NOT
1
3d
algorithm
analysis
application
complex
complexity
design
development
formal
mathematical
model
modeling
multi
parallel
processing
simulation
software
system
systems
using
Automation, Control, and Information Technology (acit)
Editions
Publications
Viewing Publication 1 - 28 from 28
2005
Evaluation and Comparison of Rule Scheduling Approaches in Active Database Systems
Rohollah Alesheykh
,
Ahmad Abdollahzadeh Barfroush
.
acit 2005
:
34-40
Preserving Quality in the Development of Mobile Commerce Services and Applications
Andreas S. Andreou
,
D. Panayidou
,
Panayiotis Andreou
,
Andreas Pitsillides
.
acit 2005
:
1-8
Systematization and the Search of Mathematical Web-Resources
V. Barakhnin
,
O. Klimenko
.
acit 2005
:
81-84
Natural Classification and Systematisation Methods
Irina V. Borisova
,
A. Zagoruiko
,
Nikolay G. Zagoruiko
.
acit 2005
:
131-135
Unsupervised Neural Networks Helpt to Develop Ontologies
Sergei V. Butakov
,
Denis V. Rubtsov
.
acit 2005
:
129-130
Parallelization of a 3D Fluid Flow Simulation Code using Software Engineering Principles
T. Bönisch
,
N. Shokina
.
acit 2005
:
117-122
Software System for Development of Algorithms for Digital Images Processing and Analysis
A. V. Chernov
,
Marina A. Chicheva
,
M. V. Gashnikov
,
N. I. Glumov
,
E. V. Myasnikov
,
V. V. Sergeyev
.
acit 2005
:
139-142
Formal Verification of Dynamic UML Diagrams using TLA+
M. Couzinier
,
Louis Féraud
.
acit 2005
:
85-91
Real-Time Volume Rendering Systems
Boris S. Dolgovesov
,
M. Y. Shevtsov
.
acit 2005
:
104-107
Effective, Computational Stability Parallel Algorithm for Construction of a Pseudo-Triangulation of a Simple Polygon
V. I. Dvortsov
,
S. A. Ivanovsky
.
acit 2005
:
108-110
Semantic Relation Modeling using Formal Concept Analysis in Russian Lexical Databases
G. M. Emelyanov
,
N. A. Stepanova
.
acit 2005
:
9-12
Mathtree - Tree Catalog of Mathematical Resources in the Internet
Yuri Leonidovich Ershov
,
V. Filippov
,
O. Klimenko
,
O. Trofimov
.
acit 2005
:
76-80
On Measuring Structural Complexity of a Conceptual Model
Tauqeer Hussain
,
Shafay Shamail
,
Mian M. Awais
.
acit 2005
:
71-75
Specifying and Separating Concerns from Requirements to Design: A Case Study
Mohamad Kassab
,
Constantinos Constantinides
,
Olga Ormandjieva
.
acit 2005
:
18-27
Space-distributed Multicluster Computer System with Multiprogramme Regimes Supporting
Victor G. Khoroshevsky
,
Sergey N. Mamoilenko
,
Yury S. Maidanov
,
Maxim S. Sedelnikov
.
acit 2005
:
136-138
Formal Modeling of Software Quality with xNoFun Language
Serge P. Kovalyov
,
Elena A. Ozhiganova
.
acit 2005
:
48-53
Testability Analysis for Polymorphism
Jun-Cherng Lin
,
Yun-Liang Huang
,
Cheng-Hsiung Liu
.
acit 2005
:
98-103
Simulation of Complex Transportation Systems
Victor Okol nishnikov
,
Sergey Rudometov
.
acit 2005
:
60-64
Maintenance and Modification of Complex Software Systems within an Advance Practice
V. G. Promyslov
,
E. Ph. Jharko
,
O. A. Promyslova
.
acit 2005
:
28-33
Heterogeneous Software Repository: MPR a Text-based Model
Richard A. Pyne
,
Sophia McNamarah
,
Natasha Crooks
,
Kevon Green
,
Sanique Hall
,
Sabrina Johnson
,
Debbie-Ann Neil
.
acit 2005
:
13-17
Frameworks for Program Decomposition in Cognitive Complexity Measurements
Grace W. Rumantir
.
acit 2005
:
41-47
Design and Application of the Library PLVIP for Parallel Image Processing
Evgeny V. Rusin
.
acit 2005
:
143-148
A Visualization Tool for Reactive Systems Simulation
Mubarak Sami
,
Olga Ormandjieva
,
Vangalur S. Alagar
.
acit 2005
:
65-70
Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, Novosibirsk, Russia, June 20-24, 2005
Yuri I. Shokin
,
O. I. Potaturkin
, editors,
IASTED/ACTA Press,
2005.
Reliability Assessment Method based on Logarithmic Poisson Execution Time Model for Open Source Project
Yoshinobu Tamura
,
Shigeru Yamada
,
Mitsuhiro Kimura
.
acit 2005
:
54-59
Knowledge Test System Neuron-2
A. V. Veselov
,
A. V. Shalaginov
.
acit 2005
:
111-116
A 3D Texture-based Recursive Multi-Level Ray Casting Algorithm
Sergei I. Vyatkin
,
Boris S. Dolgovesov
.
acit 2005
:
92-97
Software Component and Prediction for Network Processor based Application
Hong Xiao
,
Di Wu
,
Ling Zhang
.
acit 2005
:
123-128
Sign in
or
sign up
to see more results.