Keywords: محدودیت زمان بندی; Modelling and verification; Model checking; Statistical model checking; Actors; Asynchronous message passing; Timing constraints; Probabilistic behavior; Uppaal;
مقالات ISI محدودیت زمان بندی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: محدودیت زمان بندی; Teleo-reactive; Timing constraints; TRiStar; Requirements engineering;
Keywords: محدودیت زمان بندی; Distributed testing; Timing constraints; Multi-agent systems
Modelling and simulation of asynchronous real-time systems using Timed Rebeca
Keywords: محدودیت زمان بندی; Concurrent system; Timing constraints; Distributed systems; Actor modelling; Analysis;
Timing constraints of temporal view association in face recognition
Keywords: محدودیت زمان بندی; Face recognition; Temporal view association; Timing constraints; Motion; Generalization;
Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal
Keywords: محدودیت زمان بندی; Modeling; Timing constraints; Real-time systems; Schedulability analysis; Time Stream Petri Nets; Model checking; Timed automata; Uppaal
Scheduling on-demand broadcast with timing constraints
Keywords: محدودیت زمان بندی; Aggregated Critical Requests; Markov Decision Process; On-demand broadcasting; PSPACE; Real-time systems; Scheduling; Timing constraints
Timed verification of hierarchical communicating real-time state machines
Keywords: محدودیت زمان بندی; Modelling; Real-time systems; Modularity constructs; Timing constraints; Model checking; Timed automata; Uppaal
REAL-TIME CLIMATE CONTROL IN A COMPLEX GREENHOUSE
Keywords: محدودیت زمان بندی; Greenhouse climate control; embedded real-time systems; statecharts; timing constraints; integrated development; Java