Keywords: مدل رسمی; Dependency; Coupling; Software metrics; Formal model;
مقالات ISI مدل رسمی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: مدل رسمی; Access control model; Separation of duty; Role-based access control; Formal model; Z specification language;
Keywords: مدل رسمی; Hazard identification; Formal model; Hazard log; Chinese Train Control System;
Keywords: مدل رسمی; Social network; Formal model; Knowledge agents
Keywords: مدل رسمی; Complex system; Formal model; Simulation; Societal transition; Socio-technical;
Keywords: مدل رسمی; Secure development methodology; Formal model; Protocols security; Formal verification; WEP analysis;
Unified Formal Model for Synchronous and Self-Synchronizing Stream Ciphers
Keywords: مدل رسمی; synchronous stream cipher; self-synchronizing stream cipher; key scheduling algorithm; keystrem generator; inner state; formal model;
A Formal Model for Autonomous Planning in High Performance Systems
Keywords: مدل رسمی; Formal Model; Autonomous Planning System; High Performance Systems;
Modelo formal para la reestructura de marcos orientados a objetos hacia arquitecturas modelo-vista-adaptador*
Keywords: مدل رسمی; marcos orientados a objetos; reuso de software; reingeniería de software; patrón MVA; modelo formal; Teoría de Modelosframeworks; software reuse; software reeingeniering; MVA pattern; formal model; Model theory
A state-based model of sensor protocols
Keywords: مدل رسمی; Sensor network; State-based model; Formal model; Protocol specification; Protocol verification and analysis; Self-stabilization;
Hierarchical aggregation of Service Level Agreements
Keywords: مدل رسمی; Workflow management; Service Level Agreement; Service composition; Formal model; Grid and cloud Computing
Is the Democratic Party’s superdelegate system unfair to voters?
Keywords: مدل رسمی; 2008 Primary election; Superdelegate; Presidential campaign; Democratic Party; Hazard model; Formal model
Formal model for assigning human resources to teams in software projects
Keywords: مدل رسمی; Formal model; Human resources assignment; Software project team; Delphi method; Psychological tests
A static verification approach for architectural integration of mixed-signal integrated circuits
Keywords: مدل رسمی; Static verification; Design integration; Mixed-signal circuit specification; Formal model
Use of social information by sodium- and protein-deficient rats: test of a prediction (Boyd & Richerson 1988)
Keywords: مدل رسمی; formal model; Norway rat; protein deficiency; Rattus norvegicus; Social learning; sodium deficiency
A formal modeling platform for composing web services
Keywords: مدل رسمی; Formal model; Web service; Service composition; Workflow; Petri Nets
A process-driven computing model for reconfigurable semiconductor manufacturing
Keywords: مدل رسمی; Reconfigurable system; Reconfigurable process controller; Formal model; Factory automation
A formal validation methodology for MANET routing protocols based on nodes’ self similarity
Keywords: مدل رسمی; MANET; Conformance testing; Formal model; Self similarity; DSR
IMPLEMENTATION OF HETEROGONOUS EMBEDDED MICROSYSTEMS
Keywords: مدل رسمی; hardware-software codesign; Petri nets; formal model; embedded systems; digital systems; digital microsystems; FPGA; PLD
Model of interactions in biology and application to heterogeneous network in yeast
Keywords: مدل رسمی; Formal model; Biological network; Heterogeneous dataModèle formel; Réseau biologique; Données hétérogènes
A formal representation of functional size measurement methods
Keywords: مدل رسمی; Function points; Software size; Formal model; Object-oriented projects
Understanding and using the IEC 61850: a case for meta-modelling
Keywords: مدل رسمی; UML; Meta-modelling; Modelling tools; Formal model; IEC 61850; Communication networks and systems; Specification consistency;