Works matching DE "SOFTWARE verification"

Results: 664

Analysis and verification of SMIL documents.

Published in:

Multimedia Systems, 2011, v. 17, n. 6, p. 487, doi. 10.1007/s00530-011-0233-1

By:

Gaggi, Ombretta;
Bossi, Annalisa

Publication type:

Article

Towards Formal Modeling of Subnet Based Hotspot Algorithm in Wireless Sensor Networks.

Published in:

Wireless Personal Communications, 2019, v. 107, n. 4, p. 1573, doi. 10.1007/s11277-019-06346-6

By:

Ali, Tariq;
Yasin, Sana;
Draz, Umar;
Ayaz, Muhammad

Publication type:

Article

Research on the Method of Batch Converting Raw Data of GNSS Receiver to RINEX Files.

Published in:

Railway Investigation & Surveying, 2024, v. 50, n. 4, p. 13, doi. 10.19630/j.cnki.tdkc.202405160001

By:

GU Siwen;
XING Xudong

Publication type:

Article

Answering your questions on flow cytometry applications, CAP computer verification, immunology test QC, and HCG beta subunits.

Published in:

Medical Laboratory Observer (MLO), 1999, v. 31, n. 10, p. 10

By:

Baer, Daniel M.;
Nakamura, Robert;
Dufour, D. Robert

Publication type:

Article

基于B方法的道岔控制系统形式化建模与验证.

Published in:

Railway Signalling & Communication Engineering, 2022, v. 19, n. 6, p. 5, doi. 10.3969/j.issn.1673-4440.2022.06.002

By:

刘宁;
韩程;
王峥;
侯锡立;
王恪铭

Publication type:

Article

基于SOA的高速铁路电务维修辅助平台设计与实现.

Published in:

Railway Signalling & Communication Engineering, 2022, v. 19, n. 4, p. 13, doi. 10.3969/j.issn.1673-4440.2022.04.003

By:

刘致乾

Publication type:

Article

Formal Vs Simulation based Verification on Receiver Training Sequence Block of USB3.2 Controller.

Published in:

Grenze International Journal of Engineering & Technology (GIJET), 2024, v. 10, n. 1, Part 1, p. 542

By:

Tabdil, Sai Asrith;
Sunkaria, Ramesh K;
Ramaiah, Sakthivel

Publication type:

Article

Software Verification using State Diagrams.

Published in:

Grenze International Journal of Engineering & Technology (GIJET), 2021, v. 7, n. 1, p. 530

By:

Bhowmik, Madhuparna;
Chowdhary, Aastha;
Rudra, Bhawana

Publication type:

Article

A Timed-Value Stream Based ESL Timing and Power Estimation and Simulation Framework for Heterogeneous MPSoCs.

Published in:

International Journal of Parallel Programming, 2020, v. 48, n. 6, p. 957, doi. 10.1007/s10766-020-00656-0

By:

Grüttner, Kim;
Hartmann, Philipp A.;
Fandrey, Tiemo;
Hylla, Kai;
Lorenz, Daniel;
Hauck-Stattelmann, Stefan;
Sander, Björn;
Bringmann, Oliver;
Nebel, Wolfgang;
Rosenstiel, Wolfgang

Publication type:

Article

Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.

Published in:

International Journal of Parallel Programming, 2006, v. 34, n. 1, p. 61, doi. 10.1007/s10766-005-0004-8

By:

Currie, David;
Xiushan Feng;
Fujita, Masahiro;
Hu, Alan J.;
Kwan, Mark;
Rajan, Sreeranga

Publication type:

Article

Editorial.

Published in:

International Journal of Parallel Programming, 2005, v. 33, n. 6, p. 583, doi. 10.1007/s10766-005-8906-z

By:

Fummi, Franco;
Harris, Ian

Publication type:

Article

Inequalities between sums over prime numbers in progressions.

Published in:

Research in Number Theory, 2020, v. 6, n. 3, p. N.PAG, doi. 10.1007/s40993-020-00211-3

By:

Alkan, Emre

Publication type:

Article

Inequalities between sums over prime numbers in progressions.

Published in:

Research in Number Theory, 2020, v. 6, n. 3, p. N.PAG, doi. 10.1007/s40993-020-00211-3

By:

Alkan, Emre

Publication type:

Article

Specification and Description Language Models Automatic Execution in a High-Performance Environment.

Published in:

Computers (2073-431X), 2023, v. 12, n. 12, p. 244, doi. 10.3390/computers12120244

By:

Fonseca i Casas, Pau;
Romanowska, Iza;
Garcia i Subirana, Joan

Publication type:

Article

Towards Predicting Architectural Design Patterns: A Machine Learning Approach.

Published in:

Computers (2073-431X), 2022, v. 11, n. 10, p. 151, doi. 10.3390/computers11100151

By:

Komolov, Sirojiddin;
Dlamini, Gcinizwe;
Megha, Swati;
Mazzara, Manuel

Publication type:

Article

ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ МОДЕЛЬНООРІЄНТОВАНОГО ПРОЄКТУВАННЯ КОНТРОЛЕРУ РЕАЛЬНОГО ЧАСУ.

Published in:

Automation of Technological & Business Processes / Avtomatizaciâ Tehnologiceskih i Biznes-Processov, 2023, v. 15, n. 1, p. 1, doi. 10.15673/atbp.v%vi%i.2493

By:

V. A., Zozulia;
S. I., Osadchiy;
А. S., Timoshenko

Publication type:

Article

面向 CAN 总线健壮性的形式化建模与验证.

Published in:

Telecommunication Engineering, 2023, v. 63, n. 9, p. 1419, doi. 10.20079/j.issn.1001-893x.220415003

By:

王一华;
周晴;
胡婉如;
杜家昊

Publication type:

Article

Evaluation Parameters and Validation Method of Airborne Software Data Quality.

Published in:

Telecommunication Engineering, 2014, v. 54, n. 7, p. 990, doi. 10.3969/j.issn.1001-893x.2014.07.023

By:

YAN Fang;
XIE Wen-guang;
ZHAO Chang-xiao;
WANG Peng

Publication type:

Article

Verification of tree-processing programs via higher-order mode checking.

Published in:

Mathematical Structures in Computer Science, 2015, v. 25, n. 4, p. 841, doi. 10.1017/S0960129513000054

By:

UNNO, HIROSHI;
TABUCHI, NAOSHI;
KOBAYASHI, NAOKI

Publication type:

Article

A logical framework combining model and proof theory.

Published in:

Mathematical Structures in Computer Science, 2013, v. 23, n. 5, p. 945, doi. 10.1017/S0960129512000424

By:

RABE, FLORIAN

Publication type:

Article

Foreword: programming language interference and dependence.

Published in:

Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1109, doi. 10.1017/S0960129511000168

By:

CLARK, DAVID;
GIACOBAZZI, ROBERTO;
MU, CHUNYAN

Publication type:

Article

THE SOFTWARE IMPLEMENTATION FOR AUTOMATIC GENERATION OF PETRI NETS.

Published in:

Radio Electronics, Computer Science, Control, 2024, n. 3, p. 26, doi. 10.15588/1607-3274-2024-3-3

By:

A. A., Gurskiy;
S. M., Dubna

Publication type:

Article

Towards Safe Navigation by Formalizing Navigation Rules.

Published in:

TransNav: International Journal on Marine Navigation & Safety of Sea Transportation, 2013, v. 7, n. 2, p. 161, doi. 10.12716/1001.07.02.01

By:

Kreutzmann, A.;
Wolter, D.;
Dylla, F.;
Lee, J. H.

Publication type:

Article

Software In the Loop Simulation for Robot Manipulators.

Published in:

Engineering, Technology & Applied Science Research, 2017, v. 7, n. 5, p. 2017, doi. 10.48084/etasr.1285

By:

Ayed, Mossaad Ben;
Zouari, Lilia

Publication type:

Article

Verification and validation of software process simulation models: A systematic mapping study.

Published in:

Journal of Software: Evolution & Process, 2024, v. 36, n. 6, p. 1, doi. 10.1002/smr.2612

By:

Li, Yue;
Zhang, He;
Liu, Bohan;
Dong, Liming;
Gong, Haojie;
Rong, Guoping

Publication type:

Article

Compliance checking of software processes: A systematic literature review.

Published in:

Journal of Software: Evolution & Process, 2022, v. 34, n. 5, p. 1, doi. 10.1002/smr.2440

By:

Castellanos Ardila, Julieth Patricia;
Gallina, Barbara;
Ul Muram, Faiz

Publication type:

Article

Innovative process paradigms and data driven analytics: A new horizon for software and systems process.

Published in:

Journal of Software: Evolution & Process, 2019, v. 31, n. 6, p. N.PAG, doi. 10.1002/smr.2206

By:

Raffo, David;
Bendraou, Reda;
Huang, LiGuo;
Maggi, Fabrizio M.

Publication type:

Article

APPLICATION OF DEDUCTIVE REASONING TO THE VERIFICATION OF ARCHIMATE BEHAVIORAL ELEMENTS.

Published in:

Business Informatics / Informatyka Ekonomiczna, 2013, v. 3, n. 29, p. 76

By:

Radosław Klimek;
Piotr Szwed;
Stanisław Jędrusik

Publication type:

Article

Verified lightweight bytecode verification.

Published in:

Concurrency & Computation: Practice & Experience, 2001, v. 13, n. 13, p. 1133, doi. 10.1002/cpe.597

By:

Klein, Gerwin;
Nipkow, Tobias

Publication type:

Article

Tunable active grounded lossless and lossy inductance simulators with single grounded capacitor using VDBAs.

Published in:

Scientia Iranica. Transaction D, Computer Science & Engineering & Electrical Engineering, 2022, v. 29, n. 2, p. 739, doi. 10.24200/sci.2019.51551.2248

By:

Tangsrirat, W.;
Surakampontorn, W.

Publication type:

Article

Virtual commissioning for an Overhead Hoist Transporter in a semiconductor FAB.

Published in:

International Journal of Production Research, 2020, v. 58, n. 22, p. 6890, doi. 10.1080/00207543.2019.1685712

By:

Lee, Joo Y.;
Lee, Kwanwoo;
Park, Sangchul

Publication type:

Article

Replication and Abstraction: Symmetry in Automated Formal Verification.

Published in:

Symmetry (20738994), 2010, v. 2, n. 2, p. 799, doi. 10.3390/sym2020799

By:

Wahl, Thomas;
Donaldson, Alastair

Publication type:

Article

Publicly verifiable data transfer and deletion scheme for cloud storage.

Published in:

International Journal of Distributed Sensor Networks, 2019, v. 15, n. 10, p. N.PAG, doi. 10.1177/1550147719878999

By:

Yang, Changsong;
Tao, Xiaoling;
Zhao, Feng

Publication type:

Article

Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO.

Published in:

International Journal of Distributed Sensor Networks, 2017, v. 13, n. 4, p. 1, doi. 10.1177/1550147717700900

By:

Dai, Shengxin;
Hong, Mei;
Guo, Bing

Publication type:

Article

A unified framework for evaluating test criteria in model-checking-assisted test case generation.

Published in:

Information Systems Frontiers, 2014, v. 16, n. 5, p. 823, doi. 10.1007/s10796-013-9424-y

By:

Zeng, Bolong;
Tan, Li

Publication type:

Article

ACCELERATED STRESS TESTING OF CONTROL SYSTEMS.

Published in:

Annals of DAAAM & Proceedings, 2010, p. 409

By:

Tanuska, P.;
Spendla, L.;
Vlkovic, O.

Publication type:

Article

Preface.

Published in:

International Journal on Artificial Intelligence Tools, 2018, v. 27, n. 1, p. -1, doi. 10.1142/S0218213018020013

By:

Grégoire, Éric;
Lagniez, Jean-Marie;
Zhang, Du

Publication type:

Article

A PARALLEL ALGORITHM FOR THE STATE SPACE EXPLORATION.

Published in:

Scalable Computing: Practice & Experience, 2016, v. 17, n. 2, p. 129, doi. 10.12694/scpe.v17i2.1161

By:

Allal, Lamia;
Belalem, Ghalem;
Dhaussy, Philippe;
Teodorov, Ciprian

Publication type:

Article

AN AGENT-BASED APPROACH FOR HYBRID MULTI-CLOUD APPLICATIONS.

Published in:

Scalable Computing: Practice & Experience, 2013, v. 14, n. 2, p. 95, doi. 10.12694/scpe.v14i2.843

By:

BENMERZOUG, DJAMEL

Publication type:

Article

Examining Journalists' Adoption of Social Media Tools in Contexts of Precarity.

Published in:

Journalism Studies, 2025, v. 26, n. 1, p. 120, doi. 10.1080/1461670X.2024.2414340

By:

Kafiliveyjuyeh, Soheil;
Fırat, Feyyaz;
Moon, Ruth

Publication type:

Article

UNA REVISIÓN DE MODELOS Y SEMÁNTICAS PARA LA TRAZABILIDAD DE REQUISITOS.

Published in:

Revista EIA, 2006, n. 6, p. 33

By:

TABARES, MARTA SILVIA;
ARANGO, FERNANDO;
ANAYA, RAQUEL

Publication type:

Article

THE LAPTOP SPARE PARTS STUDYING UNDER CONSIDERING USERS' REPAIR WILLINGNESS.

Published in:

International Journal of Simulation Modelling (IJSIMM), 2015, v. 14, n. 1, p. 158, doi. 10.2507/IJSIMM14(1)CO4

By:

Lu, X.-C.;
Wang, H.-N.

Publication type:

Article

Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms.

Published in:

Journal of Artificial Intelligence Research, 2007, v. 29, p. 391, doi. 10.1613/jair.2243

By:

Jurca, Radu;
Faltings, Boi

Publication type:

Article

RevKit: A Toolkit for Reversible Circuit Design.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2012, v. 18, n. 1, p. 55

By:

SOEKEN, MATHIAS;
FREHSE, STEFAN;
WILLE, ROBERT;
DRECHSLER, ROLF

Publication type:

Article

VASIR: An Open-Source Research Platform for Advanced Iris Recognition Technologies.

Published in:

Journal of Research of the National Institute of Standards & Technology, 2013, v. 118, p. 218, doi. 10.6028/jres.118.011

By:

Lee Yooyoung;
Micheals, Ross J.;
Filliben, James J.;
Phillips, P. Jonathon

Publication type:

Article

Generating Diagnoses for Probabilistic Model Checking Using Causality.

Published in:

Journal of Computing & Information Technology, 2013, v. 21, n. 1, p. 13, doi. 10.2498/cit.1002115

By:

Debbi, Hichem;
Bourahla, Mustapha

Publication type:

Article

Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application.

Published in:

Computer Systems Science & Engineering, 2023, v. 45, n. 2, p. 2155, doi. 10.32604/csse.2023.027680

By:

LiangJun Deng;
Hang Lei;
Zheng Yang;
WeiZhong Qian;
XiaoYu Li;
Hao Wu;
Sihao Deng;
RuChao Sha;
WeiDong Deng

Publication type:

Article

Formal analysis of BPEL workflows with compensation by model checking.

Published in:

Computer Systems Science & Engineering, 2008, v. 23, n. 5, p. 349

By:

Kovács, Máté;
Varró, Dániel;
Gönczy, László

Publication type:

Article

VERIFICATION OF PHYLOGENETIC INFERENCE PROGRAMS USING METAMORPHIC TESTING.

Published in:

Journal of Bioinformatics & Computational Biology, 2011, v. 9, n. 6, p. 729, doi. 10.1142/S021972001100563X

By:

SADI, MD. SHAIK;
KUO, FEI-CHING;
HO, JOSHUA W. K.;
CHARLESTON, MICHAEL A.;
CHEN, T. Y.

Publication type:

Article

Validation of knowledge-based systems: a reassessment of the field.

Published in:

Artificial Intelligence Review, 2015, v. 43, n. 4, p. 485, doi. 10.1007/s10462-013-9396-9

By:

Batarseh, Feras;
Gonzalez, Avelino

Publication type:

Article