نتایج جستجو برای: reconfiguration issues and events sequences

تعداد نتایج: 16888504  

2007
Eri Madelaine Eric Madelaine Slim Kallel Anis Charfi Mohamed Jmaiel Javier Cubo Gwen Salaün Carlos Canal Ernesto Pimentel Mila Majster-Cederbaum Moritz Martens Christoph Minnameier Ana C. V. de Melo Javier Cámara

Formal methods such as Z and Petri nets can be used to specify invariants that should hold during the execution of component-based applications such as those regarding changes in the architecture of the application and valid sequences of architecture reconfigurations. Integrating logic for checking and enforcing these invariants into the application’s implementation is generally done by adding ...

Journal: :مهندسی صنایع 0
عاطفه کهفی اردکانی کارشناسی ارشد مهندسی صنایع- دانشکده فنی و مهندسی- دانشگاه پیام¬نور تهران فرناز برزین پور استادیار دانشکده مهندسی صنایع- دانشگاه علم و صنعت ایران رضا توکلی¬مقدم استاد گروه مهندسی صنایع- دانشکده فنی و مهندسی- دانشگاه تهران

cellular manufacturing system is one of the most important applications of group technology. design of this system involves many structural and operational issues, in which the cell formation and production planning are two important steps. in this paper, a new mathematical model is proposed for integration of cell formation and production planning problems with the aim of minimizing the overal...

پایان نامه :دانشگاه تربیت معلم - تهران - دانشکده ادبیات و علوم انسانی 1391

abstract global financial crisis has created too many problems in relations among governments. among these problems, the issue of global monetary management, more than every time in the past four decades, has been moved in the center of international economic attentions. a problem which is specially known with the monetary hostility between united states and public republic of china. where ar...

Glutathione transferases are multifunctional proteins involved in several diverse intracellular events such as primary and secondary metabolisms, signaling and stress metabolism. These enzymes have been subdivided into eight classes in plants. The Phi class, being plant specific, is the most represented. In the present study, based on the sequences available at GenBank, different primers were d...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس 1388

since the 1960s the age effects on learning both first and second language have been explored by many linguists and applied linguists (e.g lennerberg, 1967; schachter, 1996; long, 1990) and the existence of critical period for language acquisition was found to be a common ground of all these studies. in spite of some common findings, some issues about the impacts of age on acquiring a second or...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده اقتصاد 1393

due to extraordinary large amount of information and daily sharp increasing claimant for ui benefits and because of serious constraint of financial barriers, the importance of handling fraud detection in order to discover, control and predict fraudulent claims is inevitable. we use the most appropriate data mining methodology, methods, techniques and tools to extract knowledge or insights from ...

Journal: :Journal of Advanced Nursing 2003

Journal: :molecular biology research communications 2012
sasan mohsenzadeh maryam esmaeili hassan mohabatkar

glutathione transferases are multifunctional proteins involved in several diverse intracellular events such as primary and secondary metabolisms, signaling and stress metabolism. these enzymes have been subdivided into eight classes in plants. the phi class, being plant specific, is the most represented. in the present study, based on the sequences available at genbank, different primers were d...

2015
Jean-Michel Hufflen

Within a component-based approach allowing dynamic reconfigurations, sequences of successive reconfiguration operations are expressed by means of reconfiguration paths, possibly infinite. We show that a subclass of such paths can be modelled by finite state automata. This feature allows us to use techniques related to model-checking to prove some architectural, event, and temporal properties re...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه سمنان - دانشکده علوم انسانی 1393

today, persian poetry is of great importance to many scholars around the world. the interest and attention of various cultures toward such a fine literature has given quite a good motivation for a comparative study. the major concern of the study is to investigate how nature is depicted through the works of the great english poet, william wordsworth (1770-1850) and the outstanding contemporary ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید