دانلود مقالات ISI درباره منطق زمانی منطقی + ترجمه فارسی

اجرای محدودیت های محدودیت های چرخه عمر سند

Decentralized enforcement of document lifecycle constraints

Keywords: منطق زمانی منطقی; Business artifact; Business process; Document lifecycle; Lifecycle policy; UML statechart; Business Process Modelling Language; Linear Temporal Logic; Finite-state automata; Trace validation; Policy enforcement; Public-key encryption; Hash functions; Tamp

دانلود رایگان متن کامل مقاله ISI 19 صفحه سال انتشار : 2018 سفارش ترجمه

سنتز اتوماتیک زمانبندی شده در پارامتر ساعت آلفا

On clock-aware LTL parameter synthesis of timed automata

Keywords: منطق زمانی منطقی; Parameter synthesis; Parametric timed automaton; Linear temporal logic; Clock-aware linear temporal logic;

دانلود رایگان متن کامل مقاله ISI 29 صفحه سال انتشار : 2018 سفارش ترجمه

در رابطه یک محدودیت تجاری به ورود به رویداد

On the relevance of a business constraint to an event log

Keywords: منطق زمانی منطقی; Vacuity detection; Declarative process mining; Constraint activation; Linear temporal logic; Finite state automata;

دانلود رایگان متن کامل مقاله ISI 53 صفحه سال انتشار : 2018 سفارش ترجمه

طراحی کنترل نمادین برای سیستم های یکنواخت با مشخصات ویژه

Symbolic control design for monotone systems with directed specifications

Keywords: منطق زمانی منطقی; Directed specifications; Abstraction; Monotone systems; Linear temporal logic; Controller synthesis;

دانلود رایگان متن کامل مقاله ISI 10 صفحه سال انتشار : 2017 سفارش ترجمه

منطق دینامیکی خطی پارامتری

Parametric Linear Dynamic Logic

Keywords: منطق زمانی منطقی; Linear Temporal Logic; Linear Dynamic Logic; Parametric Linear Temporal Logic; Model checking; Realizability;

دانلود رایگان متن کامل مقاله ISI 20 صفحه سال انتشار : 2017 سفارش ترجمه

مدل کمی بررسی خصوصیات خطی زمان بر اساس معیارهای احتمالی تعمیم یافته

Quantitative model checking of linear-time properties based on generalized possibility measures

Keywords: منطق زمانی منطقی; Model checking; Possibility theory; Linear temporal logic; Fuzzy finite automaton; Fuzzy regular language; Generalized possibilistic Kripke structure;

دانلود رایگان متن کامل مقاله ISI 42 صفحه سال انتشار : 2017 سفارش ترجمه

یک نظرسنجی در مورد روش تقسیم بندی محلی

A survey on the local divisor technique

Keywords: منطق زمانی منطقی; Local divisors; Factorization forests; Bounded synchronization delay; Linear temporal logic; Kamp's theorem

دانلود رایگان متن کامل مقاله ISI 11 صفحه سال انتشار : 2016 سفارش ترجمه

چک کردن سازگاری بر اساس مدل های فرایندهای چندرسانه ای اعلام شده

Conformance checking based on multi-perspective declarative process models

Keywords: منطق زمانی منطقی; Process mining; Conformance checking; Linear temporal logic; Business constraints; Declare;

دانلود رایگان متن کامل مقاله ISI 18 صفحه سال انتشار : 2016 سفارش ترجمه

کنترل پیش فرض مدل منطقی زمانی

Temporal logic model predictive control

Keywords: منطق زمانی منطقی; Model predictive control; Discrete-time systems; Formal methods; Linear temporal logic

دانلود رایگان متن کامل مقاله ISI 8 صفحه سال انتشار : 2015 سفارش ترجمه

زمانبندی پرس و جوهای قابل بازنویسی در طول پایگاههای دانش

Temporalizing rewritable query languages over knowledge bases

Keywords: منطق زمانی منطقی; Ontology-based data access; Linear temporal logic; Query answering; Rewritability; Description logic

دانلود رایگان متن کامل مقاله ISI 21 صفحه سال انتشار : 2015 سفارش ترجمه

آیا چرخه های حیات فعالیت اعتبار یک قانون کسب و کار در یک فرایند کسب و کار را تحت تاثیر قرار می دهد؟

Do activity lifecycles affect the validity of a business rule in a business process?

Keywords: منطق زمانی منطقی; Process discovery; Rule mining; Discriminative mining; Non-atomic activities; Activity lifecycle; Linear temporal logic

دانلود رایگان متن کامل مقاله ISI 18 صفحه سال انتشار : 2016 سفارش ترجمه

Automated generation of (F)LTL oracles for testing and debugging

Keywords: منطق زمانی منطقی; Test oracle; Linear temporal logic; SAT;

دانلود رایگان متن کامل مقاله ISI 30 صفحه سال انتشار : 2018 سفارش ترجمه

Temporal query entailment in the Description Logic  SHQSHQ

Keywords: منطق زمانی منطقی; Description Logic; Ontology-based data access; Linear temporal logic; Complexity; Data complexity

دانلود رایگان متن کامل مقاله ISI 23 صفحه سال انتشار : 2015 سفارش ترجمه

A vertex centric parallel algorithm for linear temporal logic model checking in Pregel

Keywords: منطق زمانی منطقی; Model checking; Linear temporal logic; Distributed memory algorithm; Formal method; Scalable algorithm; Reliable model checker

دانلود رایگان متن کامل مقاله ISI 14 صفحه سال انتشار : 2014 سفارش ترجمه

Time-constrained temporal logic control of multi-affine systems

Keywords: منطق زمانی منطقی; Multi-affine systems; Control design; Linear temporal logic; Automata theory

دانلود رایگان متن کامل مقاله ISI 13 صفحه سال انتشار : 2013 سفارش ترجمه

A formal approach for run-time verification of web applications using scope-extended LTL

Keywords: منطق زمانی منطقی; Web applications; Web engineering; Model checking; Communicating automata model; Linear Temporal Logic; Dynamic analysis

دانلود رایگان متن کامل مقاله ISI 18 صفحه سال انتشار : 2013 سفارش ترجمه

ASM2Bogor: An approach for verification of models specified through Asmeta language

Keywords: منطق زمانی منطقی; Model checking; Abstract state machine; Bogor; Asmeta; Linear temporal logic

دانلود رایگان متن کامل مقاله ISI 12 صفحه سال انتشار : 2012 سفارش ترجمه

Designing fast LTL model checking algorithms for many-core GPUs

Keywords: منطق زمانی منطقی; Parallel model checking; Linear temporal logic; Massively parallel architectures; CUDA technology; Multiple CUDA devices

دانلود رایگان متن کامل مقاله ISI 15 صفحه سال انتشار : 2012 سفارش ترجمه

Unification in linear temporal logic LTL

Keywords: منطق زمانی منطقی; 03B44; 03B70; 03F52; Unification; Linear temporal logic; Unification type;

دانلود رایگان متن کامل مقاله ISI 10 صفحه سال انتشار : 2011 سفارش ترجمه

Property specifications for workflow modelling

Keywords: منطق زمانی منطقی; Compatibility; CSP; Workflow specification; Linear temporal logic; Property specification patterns; Workflow verification

دانلود رایگان متن کامل مقاله ISI 26 صفحه سال انتشار : 2011 سفارش ترجمه

Reduction and Simplification of Explicit LTL Model Checking via an Abstraction Method

Keywords: منطق زمانی منطقی; linear temporal logic; explicit model checking; abstraction; Büchi automaton;

دانلود رایگان متن کامل مقاله ISI 5 صفحه سال انتشار : 2009 سفارش ترجمه

Verification of Interdomain Routing System Based on Formal Methods

Keywords: منطق زمانی منطقی; interdomain routing system; stable path problem; software verification; linear temporal logic;

دانلود رایگان متن کامل مقاله ISI 7 صفحه سال انتشار : 2009 سفارش ترجمه

Efficient Translation of LTL to Büchi Automata

Keywords: منطق زمانی منطقی; linear temporal logic; form-filling algorithm; Büchi automata; state-based Büchi automata;

دانلود رایگان متن کامل مقاله ISI 8 صفحه سال انتشار : 2009 سفارش ترجمه

Using abduction and induction for operational requirements elaboration

Keywords: منطق زمانی منطقی; Inductive logic programming; Abductive reasoning; Goal-oriented requirements engineering; Scenario-based specification; Linear temporal logic; Event Calculus

دانلود رایگان متن کامل مقاله ISI 14 صفحه سال انتشار : 2009 سفارش ترجمه

Modeling, specification and verification of ad-hoc sensor networks using SPIN

Keywords: منطق زمانی منطقی; Ad-hoc sensor networks; Finite model-checking; Linear temporal logic; Specification; Verification;

دانلود رایگان متن کامل مقاله ISI 7 صفحه سال انتشار : 2005 سفارش ترجمه

Communicating Concurrent Objects in HiddenCCS

Keywords: منطق زمانی منطقی; Algebraic specification; concurrent systems; process algebra; object- oriented specification; hidden algebra; rewriting logic; Maude; CCS; linear temporal logic; verification techniques;

دانلود رایگان متن کامل مقاله ISI 21 صفحه سال انتشار : 2005 سفارش ترجمه