|
Paper Title |
Authors |
Conference |
Abstract |
|
|
Using Domain-Specific Languages to Describe the Development Viewpoint of Software Architectures |
Amir Reza Yazdanshenas
Ramtin Khosravi
|
چهاردهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
The developers of a system are accepted as one of
the most important stakeholders of an Architecture
Description. The Development Viewpoint is suggested to
satisfy the needs of the developers throughout the
development process ... more
The developers of a system are accepted as one of
the most important stakeholders of an Architecture
Description. The Development Viewpoint is suggested to
satisfy the needs of the developers throughout the
development process via codeline organization descriptions,
programming models, etc. However, the available models
for such purposes, if any, barely cross informal natural
language descriptions and checklists.
This paper introduces the idea of enhancing the description
of the Development viewpoint using lightweight Domain-
Specific Languages and presents the application of such
languages in two industrial case studies. This language
enables the architect to provide the necessary guidelines that
constrains the implementers during the development
process and it is also used as a means to discover the
deviation of the code from the architecture as the
development goes on. less
The developers of a system are accepted as one of
the most important stakeholders of an Architecture
Description. The Development Viewpoint is suggested to
satisfy the needs of the developers throughout the
development process ... more |
خرید مقاله
|
|
Visibility of a Moving Segment Observer |
Mojtaba Nouri Bygi
Mohammad Ghodsi
|
چهاردهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
In this paper we study combinatorial segment visibility,
and show how to compute and maintain it as the observer
moves in the plane. There are n non-overlapping convex objects
in the plane, and ... more
In this paper we study combinatorial segment visibility,
and show how to compute and maintain it as the observer
moves in the plane. There are n non-overlapping convex objects
in the plane, and we have a segment observer among
them. We first consider static case of the problem, in which
the observer and objects are static, and then we study dynamic
case of the problem, in which the observer can move
among obstacles. less
In this paper we study combinatorial segment visibility,
and show how to compute and maintain it as the observer
moves in the plane. There are n non-overlapping convex objects
in the plane, and ... more |
خرید مقاله
|
|
Compound of Reversible One-Dimensional CA Rules for Two-Dimensional CA with Cryptographic Applications |
Hoda Maleki
Babak Sadeghiyan
|
چهاردهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
Reversible Cellular Automata is applicable in
cryptographic functions. A reversible CA can be obtained
by employing reversible rules. In this paper, we propose
65280 two-dimensional reversible CA rules by
compounding one-dimensional reversible rules. We
produce ... more
Reversible Cellular Automata is applicable in
cryptographic functions. A reversible CA can be obtained
by employing reversible rules. In this paper, we propose
65280 two-dimensional reversible CA rules by
compounding one-dimensional reversible rules. We
produce these rules by alternately applying onedimensional
CA rule f1 to the rows and applying another
rule f2 to the columns of the configuration matrix of twodimensional
CA. In addition to describing these rules, we
consider the required cryptographic properties such as
completeness, strict avalanche criteria, non-linearity, and
differential-profile flatness for our proposed approach.
According to the obtained results, 9463 rules are specified
as appropriate rules for the purpose of applying in
cryptographic functions. Only 510 rules do not satisfy any
of the mentioned cryptographic properties and the other
remain rules satisfy some of the properties. less
Reversible Cellular Automata is applicable in
cryptographic functions. A reversible CA can be obtained
by employing reversible rules. In this paper, we propose
65280 two-dimensional reversible CA rules by
compounding one-dimensional reversible rules. We
produce ... more |
خرید مقاله
|
|
A New Approach for Tracing Quality Attributes in Service Oriented Architecture Using Graph Transformation Systems |
Farnoush Golshan
Ahmad Abdollahzade Barforoush
|
چهاردهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
The dynamic nature of service-oriented architecture
(SOA), leads to a need for special attention about the
turbulence of the quality attributes (or non-functional
requirements) of software during the dynamic changes.
If there exists a ... more
The dynamic nature of service-oriented architecture
(SOA), leads to a need for special attention about the
turbulence of the quality attributes (or non-functional
requirements) of software during the dynamic changes.
If there exists a method for monitoring the whole
quality of a service-oriented software, the service
selector component of the architecture, which has the
responsibility of choosing the best candidate service at
runtime, can be aware of the quality state of the whole
software at any moment of decision. In this paper, we
have focused on the overall quality of an architecture
which consists of multiple independent services and
present a new method for tracing quality attributes in
service oriented architecture based on Graph
Transformation System (GTS) as a formal approach. less
The dynamic nature of service-oriented architecture
(SOA), leads to a need for special attention about the
turbulence of the quality attributes (or non-functional
requirements) of software during the dynamic changes.
If there exists a ... more |
خرید مقاله
|
|
SWML: A Workflow Modeling Language Based on Stochastic Activity Networks |
Fatemeh Javadi Mottaghi
Mohammad Abdollahi Azgomi
|
چهاردهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
The existing workflow modeling languages have
some limitations and drawbacks. The aim is to introduce a
new workflow modeling language based on stochastic
activity networks (SANs). SANs are a powerful extension of
Petri nets, ... more
The existing workflow modeling languages have
some limitations and drawbacks. The aim is to introduce a
new workflow modeling language based on stochastic
activity networks (SANs). SANs are a powerful extension of
Petri nets, which have been used in a wide range of
applications. SAN-based workflow modeling language
(SWML) has some high-level modeling primitives for easily
modeling workflow patterns. For analysis of the modeled
workflow systems with SWML, we have introduced the
transformation techniques from SWML models into
ordinary SANs. The transformed models can be analyzed
using the existing tools for SANs, such as the Möbius
modeling tool. In this paper, we present definitions of
SWML modeling language and its primitives and an
example of SWML models. less
The existing workflow modeling languages have
some limitations and drawbacks. The aim is to introduce a
new workflow modeling language based on stochastic
activity networks (SANs). SANs are a powerful extension of
Petri nets, ... more |
خرید مقاله
|
|
Optimizing Information Systems By Realizing the Autonomy around Business |
Danial Moazen
Kazem Akbari
Alireza Hashemi
|
چهاردهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
With ever increasing complexity of software systems, it
is now more evident than ever that a fundamental
change in software engineering practices is required.
In this paper we discuss the nature of change ... more
With ever increasing complexity of software systems, it
is now more evident than ever that a fundamental
change in software engineering practices is required.
In this paper we discuss the nature of change and its
implications. The notion of passive autonomy is
introduced as a reference to the relative autonomy of
business entities, and we claim that realizing the
passive autonomy in information systems would results
in systems far more adaptable and aligned with
business’ needs. In order to realize this autonomy,
theuse of autonomous agents as representing real
world autonomous entities is suggested. After pointing
out the shortcomings of current agent based
architectures, a new architecture is proposed, based on
indirect, multilateral negotiation. The suitability of this
architecture is demonstrated in a simple case of beer
game and it is shown that the bullwhip effect is
remedied to some extent using this new architectural
approach. less
With ever increasing complexity of software systems, it
is now more evident than ever that a fundamental
change in software engineering practices is required.
In this paper we discuss the nature of change ... more |
خرید مقاله
|
|
Unified Framework for Evaluating Deductive Databases with Uncertainty |
Jinzan Lai
Nematollaah Shiri
|
چهاردهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
Uncertainty reasoning has been identified as an
important and challenging issue in the database research.
Many logic frameworks have been proposed to represent
and reason about uncertainty in deductive databases. On
the basis of ... more
Uncertainty reasoning has been identified as an
important and challenging issue in the database research.
Many logic frameworks have been proposed to represent
and reason about uncertainty in deductive databases. On
the basis of the way in which uncertainties are associated
with the facts and rules in programs, the approaches of
these frameworks have been classified into “annotation
based (AB)” and “implication based (IB).” When extending
both frameworks with certainty constraints, they become
equivalent in terms of expressive power. In this paper, we
propose a uniform environment to evaluate and experiment
with logic programs in AB and IB frameworks at the same
time. We also extend the existing query processing to handle
certainty constraints and we carry out experiments to
evaluate its performance. Our experiments and results
indicate that the proposed techniques yield tools that are
capable to reason with uncertainty. less
Uncertainty reasoning has been identified as an
important and challenging issue in the database research.
Many logic frameworks have been proposed to represent
and reason about uncertainty in deductive databases. On
the basis of ... more |
خرید مقاله
|
|
طراحي و پياده سازي يک الگوريتم زمانبندي در گريد بر مبناي دو الگوريتم Min-Min و Max-Min به کمک برنامه سازي ژنتيک |
کبري اطميناني
سيد مجتبي روحاني
نورعلي رائيجي يانه سري
|
چهاردهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
با افز ايش قيمت ابرکامپ يوترها ا ز طرف ي و ني از به مناب ع
محاسباتي با حجم وسيع از طرف ديگر، محقق ين کام پيوتر را بر ... more
با افز ايش قيمت ابرکامپ يوترها ا ز طرف ي و ني از به مناب ع
محاسباتي با حجم وسيع از طرف ديگر، محقق ين کام پيوتر را بر آن
داشته است تا به سراغ استفاده از شبکهاي از منابع محاسبا تي به نا م گريد Grid) روي آورند. گونهاي از گريد به نام گريد محاسباتي Computing Grid مجموعهاي از منابع توزيع شده را براي حل مس ايل با ميزان محاسبات بالا در علوم، مهندس ي و تجارت فراهم آورده اس ت .
براي استفاده بهينه از قابليتهاي اين سيستم توزيع شده، الگوريتمه اي
زمانبندي کارامدي موردنياز است . در اي ن مقاله الگو ر يتم زمانبن دي
جديدي به کمک برنامهسازي ژنتيک و بر مبن اي دو الگور يتم پاي هاي Min-Min و Max-Min طراحي شده است که س ع ي در استفاده از مزاياي اين دو، رفع معايب آنه ا و کوتاه کردن مدت زمانبن د ي نموده است. با مقايسه کارا يي الگو ريتم جدي د با دو الگو ر يتم Min-Min و Max-Min نتايج قابل قبولي بدست آمد. less
با افز ايش قيمت ابرکامپ يوترها ا ز طرف ي و ني از به مناب ع
محاسباتي با حجم وسيع از طرف ديگر، محقق ين کام پيوتر را بر ... more |
خرید مقاله
|
|
جداسازي كور سيگنالهاي FHSS به صورت زمان -حقيقي با استفاده از الگوريتم JADE با حل مشكل جايگشت |
حميد اسدي
محمد حسين كهايي
|
چهاردهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران |
اين مقاله مسئله جداسازي كور سيستمهاي طيف گسترده پرش فركانسي (FHSS) را با استفاده از يك المان آرايهاي بدون دانستن الگوي پرش و يا جهت سيگنال ورودي (DOA) براي كاربردهاي ... more
اين مقاله مسئله جداسازي كور سيستمهاي طيف گسترده پرش فركانسي (FHSS) را با استفاده از يك المان آرايهاي بدون دانستن الگوي پرش و يا جهت سيگنال ورودي (DOA) براي كاربردهاي زمانحقيقي مورد بررسي قرار ميدهد. در اين مقاله
الگوريتم مورد استفاده، الگوريتم تخمين و قطري سازي توام ماتريس كاميولنت (JADE) ميباشد. مزيت اين الگوريتم، سرعت بالاي آن ميباشد كه باعث شده است براي كاربردهاي زمان-حقيقي مناسب باشد. اما مشكل الگوريتم JADE رعايت نكردن ترتيب منابع يا جايگشت آنها به هنگام جداسازي است. براي حل مشكل جايگشت
در اين مقاله، از ماتريس همبستگي استفاده ميكنيم. less
اين مقاله مسئله جداسازي كور سيستمهاي طيف گسترده پرش فركانسي (FHSS) را با استفاده از يك المان آرايهاي بدون دانستن الگوي پرش و يا جهت سيگنال ورودي (DOA) براي كاربردهاي ... more |
خرید مقاله
|
|
ارایه یک روش ترکیبی رده‌بندی ترافیک IP با کمک نگاشت ویژگی‌ها و الگوریتم‌های ژنتیک |
مهدی محمدی
بیژن راحمی
احمد اکبری
ماندانا بنکدار
|
پانزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
...
|
خرید مقاله
|
.gif){kind=icon}
