Works matching DE "VERIFICATION of computer systems"

Results: 185

Estimation of Worst-Case Bandwidth Requirements of Video-on-Demand Systems with Replica Servers using the M/G/∞ Model.

Published in:

Journal of Information Science & Engineering, 2014, v. 30, n. 5, p. 1365

By:

MENG-HUANG LEE

Publication type:

Article

An ID-Based Server-Aided Verification Short Signature Scheme Avoid Key Escrow.

Published in:

Journal of Information Science & Engineering, 2013, v. 29, n. 3, p. 459

By:

JIANHONG ZHANG;
ZHIBIN SUN

Publication type:

Article

A DL Based Short Strong Designated Verifier Signature Scheme with Low Computation.

Published in:

Journal of Information Science & Engineering, 2011, v. 27, n. 2, p. 451

By:

HAN-YU LIN;
TZONG-SUN WU;
YI-SHIUNG YEH

Publication type:

Article

FSM-Based Formal Compliance Verification of Interface Protocols.

Published in:

Journal of Information Science & Engineering, 2010, v. 26, n. 5, p. 1601

By:

CHE-HUA SHIH;
YA-CHING YANG;
CHIA-CHIH YEN;
JUINN-DAR HUANG;
JING-YANG JOU

Publication type:

Article

Real-time specifications.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 17, doi. 10.1007/s10009-013-0286-x

By:

David, Alexandre;
Larsen, Kim;
Legay, Axel;
Nyman, Ulrik;
Traonouez, Louis-Marie;
Wąsowski, Andrzej

Publication type:

Article

A systematic review of state-based test tools.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 59, doi. 10.1007/s10009-013-0291-0

By:

Shafique, Muhammad;
Labiche, Yvan

Publication type:

Article

A multiple case study on risk-based testing in industry.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 609, doi. 10.1007/s10009-014-0328-z

By:

Felderer, Michael;
Ramler, Rudolf

Publication type:

Article

Approaches for the combined use of risk analysis and testing: a systematic literature review.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 627, doi. 10.1007/s10009-014-0330-5

By:

Erdogan, Gencer;
Li, Yan;
Runde, Ragnhild;
Seehusen, Fredrik;
Stølen, Ketil

Publication type:

Article

Applying symbolic bounded model checking to the 2012 RERS greybox challenge.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 519, doi. 10.1007/s10009-014-0335-0

By:

Morse, Jeremy;
Cordeiro, Lucas;
Nicole, Denis;
Fischer, Bernd

Publication type:

Article

Property-driven benchmark generation: synthesizing programs of realistic structure.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 465, doi. 10.1007/s10009-014-0336-z

By:

Steffen, Bernhard;
Isberner, Malte;
Naujokat, Stefan;
Margaria, Tiziana;
Geske, Maren

Publication type:

Article

Rigorous examination of reactive systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 457, doi. 10.1007/s10009-014-0337-y

By:

Howar, Falk;
Isberner, Malte;
Merten, Maik;
Steffen, Bernhard;
Beyer, Dirk;
Păsăreanu, Corina

Publication type:

Article

Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 493, doi. 10.1007/s10009-014-0338-x

By:

Schordan, Markus;
Prantl, Adrian

Publication type:

Article

Model-based test generation using extended symbolic grammars.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 4, p. 437, doi. 10.1007/s10009-014-0316-3

By:

Guo, Hai-Feng;
Subramaniam, Mahadevan

Publication type:

Article

The Clara framework for hybrid typestate analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 307, doi. 10.1007/s10009-010-0183-5

By:

Bodden, Eric;
Hendren, Laurie

Publication type:

Article

What can you verify and enforce at runtime?

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 349, doi. 10.1007/s10009-011-0196-8

By:

Falcone, Yliès;
Fernandez, Jean-Claude;
Mounier, Laurent

Publication type:

Article

Selection of formal verification heuristics for parallel execution.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 95, doi. 10.1007/s10009-011-0204-z

By:

Safe, Georgia;
Coelho, Claudionor;
Vieira, Luiz;
Do Val, Celina;
Nacif, Jose;
Fernandes, Antonio

Publication type:

Article

The common aspect proof environment.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 41, doi. 10.1007/s10009-011-0191-0

By:

Katz, Shmuel;
Faitelson, David

Publication type:

Article

Automatic boosting of cross-product coverage using Bayesian networks.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 3, p. 247, doi. 10.1007/s10009-010-0160-z

By:

Baras, Dorit;
Fine, Shai;
Fournier, Laurent;
Geiger, Dan;
Ziv, Avi

Publication type:

Article

Reducing the size of resolution proofs in linear time.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 3, p. 263, doi. 10.1007/s10009-010-0167-5

By:

Bar-Ilan, Omer;
Fuhrmann, Oded;
Hoory, Shlomo;
Shacham, Ohad;
Strichman, Ofer

Publication type:

Article

Checking the reliability of socket based communication software.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 5, p. 359, doi. 10.1007/s10009-009-0112-7

By:

Cámara, Pedro;
Mar Gallardo, María;
Merino, Pedro;
Sanán, David

Publication type:

Article

Haifa verification conference 2007.

Published in:

2009

By:

Yorav, Karen

Publication type:

Editorial

Verification of the RAMS-based operational weather forecast system in the Valencia Region: a seasonal comparison.

Published in:

Natural Hazards, 2015, v. 75, n. 2, p. 1941, doi. 10.1007/s11069-014-1408-9

By:

Estrela, M.;
Caselles, V.;
Gómez, I.

Publication type:

Article

Research on Dynamic Integrity Measurement Model Based on Memory Paging Mechanism.

Published in:

Discrete Dynamics in Nature & Society, 2014, p. 1, doi. 10.1155/2014/478985

By:

Chaowen Chang;
Xin Chen;
Shuai Wang;
Qinghai Xiao

Publication type:

Article

Calibration verification of a low-cost method for MEMS accelerometers.

Published in:

Transactions of the Institute of Measurement & Control, 2014, v. 36, n. 5, p. 579, doi. 10.1177/0142331213513607

By:

Parsi, B;
Bahrami, M;
Esfahani, A Monemian;
Sany, B Seyedzadeh

Publication type:

Article

Software architectural modelling and verification: a Petri net and temporal logic approach.

Published in:

Transactions of the Institute of Measurement & Control, 2011, v. 33, n. 1, p. 168, doi. 10.1177/0142331208095679

By:

Jiacun Wang;
Xianzhong Zhou;
Junhua Ding

Publication type:

Article

Uniform verification of workflow soundness.

Published in:

Transactions of the Institute of Measurement & Control, 2011, v. 33, n. 1, p. 133, doi. 10.1177/0142331208095676

By:

Barkaoui, Kamel;
Ben Ayed, Rahma

Publication type:

Article

Proper references is a matter of scholarship, ethics, and courtesy.

Published in:

Software Testing: Verification & Reliability, 2018, v. 28, n. 3, p. 1, doi. 10.1002/stvr.1668

By:

Offutt, Jeff

Publication type:

Article

Verifying OSEK/VDX automotive applications: A Spin‐based model checking approach.

Published in:

Software Testing: Verification & Reliability, 2018, v. 28, n. 3, p. 1, doi. 10.1002/stvr.1662

By:

Zhang, Haitao;
Li, Guoqiang;
Cheng, Zhuo;
Xue, Jinyun

Publication type:

Article

Systematic testing of actor systems.

Published in:

Software Testing: Verification & Reliability, 2018, v. 28, n. 3, p. 1, doi. 10.1002/stvr.1661

By:

Albert, Elvira;
Arenas, Puri;
Gómez‐Zamalloa, Miguel

Publication type:

Article

A lightweight framework for dynamic GUI data verification based on scripts.

Published in:

Software Testing: Verification & Reliability, 2016, v. 26, n. 2, p. 95, doi. 10.1002/stvr.1579

By:

Mateo Navarro, Pedro Luis;
Ruiz, Diego Sevilla;
Pérez, Gregorio Martínez

Publication type:

Article

How to revise a research paper.

Published in:

2016

By:

Offutt, Jeff

Publication type:

Editorial

Enabling model checking for collaborative process analysis: from BPMN to ‘Network of Timed Automata’.

Published in:

Enterprise Information Systems, 2015, v. 9, n. 3, p. 279, doi. 10.1080/17517575.2013.879211

By:

Mallek, Sihem;
Daclin, Nicolas;
Chapurlat, Vincent;
Vallespir, Bruno

Publication type:

Article

Workflow process modelling and resource allocation based on polychromatic sets theory.

Published in:

Enterprise Information Systems, 2013, v. 7, n. 2, p. 198, doi. 10.1080/17517575.2012.745617

By:

Gao, Xinqin;
Xu, Lida;
Wang, Xueping;
Li, Yan;
Yang, Mingshun;
Liu, Yong

Publication type:

Article

Membership Verification in Authenticating Dynamic Sets.

Published in:

International Journal of Online Engineering, 2013, v. 9, n. 5, p. 62, doi. 10.3991/ijoe.v9i5.2973

By:

Z. K. Wei;
H. Y. Kim;
Y. K. Kim;
J.H. Kim

Publication type:

Article

Transitive Location Verification Algorithm in Location-Based Routing for Wireless Sensor Networks.

Published in:

Adhoc & Sensor Wireless Networks, 2014, v. 22, n. 1/2, p. 237

By:

Taqieddin, Eyad S.;
Awad, Fahed H.;
Abdullah, Sally M.

Publication type:

Article

Transitive Location Verification Algorithm in Location-Based Routing for Wireless Sensor Networks.

Published in:

Adhoc & Sensor Wireless Networks, 2014, v. 21, n. 3, p. 237

By:

TAQIEDDIN, EYAD S.;
AWAD, FAHED H.;
ABDULLAH, SALLY M.

Publication type:

Article

SATISFIABILITY GAMES FOR BRANCHING-TIME LOGICS.

Published in:

Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 4, p. 1, doi. 10.2168/LMCS-9(4:5)2013

By:

FRIEDMANN, OLIVER;
LATTE, MARKUS;
LANGE, MARTIN

Publication type:

Article

Fingerprint-Based Recognition.

Published in:

International Statistical Review, 2013, v. 81, n. 2, p. 175, doi. 10.1111/insr.12017

By:

Dass, Sarat C.

Publication type:

Article

Constraint-based test generation for automotive operating systems.

Published in:

Software & Systems Modeling, 2017, v. 16, n. 1, p. 7, doi. 10.1007/s10270-014-0449-6

By:

Choi, Yunja;
Byun, Taejoon

Publication type:

Article

Preface to Hagiya-sensei's 2<sup>6</sup>-th Birthday Special Issue.

Published in:

New Generation Computing, 2022, v. 40, n. 2, p. 399, doi. 10.1007/s00354-022-00184-0

By:

Nishizaki, Shin-ya;
Seki, Shinnosuke

Publication type:

Article

In-air hand gesture signature recognition system based on 3-dimensional imagery.

Published in:

Multimedia Tools & Applications, 2019, v. 78, n. 6, p. 6913, doi. 10.1007/s11042-018-6458-7

By:

Khoh, Wee How;
Pang, Ying Han;
Teoh, Andrew Beng Jin

Publication type:

Article

Batch Verification of Short Signatures.

Published in:

Journal of Cryptology, 2012, v. 25, n. 4, p. 723, doi. 10.1007/s00145-011-9108-z

By:

Camenisch, Jan;
Hohenberger, Susan;
Pedersen, Michael

Publication type:

Article

Validation and verification issues in a timeline-based planning system.

Published in:

Knowledge Engineering Review, 2010, v. 25, n. 3, p. 299, doi. 10.1017/S0269888910000160

By:

Cesta, Amedeo;
Finzi, Alberto;
Fratini, Simone;
Orlandini, Andrea;
Tronci, Enrico

Publication type:

Article

DEVELOPMENT OF TEST OPERATIONS WITH DIFFERENT DURATION IN ORDER TO IMPROVE VERIFICATION QUALITY OF EFFECTIVENESS FORMULA.

Published in:

Eastern-European Journal of Enterprise Technologies, 2018, v. 91, n. 4, p. 42, doi. 10.15587/1729-4061.2018.121810

By:

Lutsenko, I.;
Fomovskaya, E.;
Serdiuk, O.;
Fomovsky, F.

Publication type:

Article

Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool.

Published in:

International Journal of Modeling, Simulation & Scientific Computing, 2016, v. 7, n. 1, p. -1, doi. 10.1142/S1793962316410014

By:

Diallo, Saikou Y.;
Gore, Ross;
Lynch, Christopher J.;
Padilla, Jose J.

Publication type:

Article

THE EMERGING CHALLENGE: THE VALIDITY OF COMPUTATIONAL ORGANIZATION MODEL AND METHODOLOGY.

Published in:

International Journal of Modeling, Simulation & Scientific Computing, 2014, v. 5, n. 1, p. -1, doi. 10.1142/S179396231330001X

By:

WANG, HONGLI;
LU, YUNBO

Publication type:

Article

Verification of SpacePy's radial diffusion radiation belt model.

Published in:

Geoscientific Model Development Discussions, 2011, v. 4, n. 3, p. 2165, doi. 10.5194/gmdd-4-2165-2011

By:

Welling, D. T.;
Koller, J.;
Camporeale, E.

Publication type:

Article

Multiuser-based Gray-level Watermarking Sharing System.

Published in:

Journal of Multimedia, 2009, v. 4, n. 6, p. 341, doi. 10.4304/jmm.4.6.341-348

By:

Bin Luo;
Youqing Wu;
Jin Tang;
Wanli Lv;
Wei Gu

Publication type:

Article

BSBI -- a Simple Protocol for Remote Verification of Identity.

Published in:

Journal of Telecommunications & Information Technology, 2012, v. 2012, n. 3, p. 50

By:

Kozakiewicz, Adam;
Pałka, Tomasz

Publication type:

Article

ID-Based Digital Signatures with Security Enhanced Approach.

Published in:

Journal of Telecommunications & Information Technology, 2009, v. 2009, n. 4, p. 146, doi. 10.26636/jtit.2009.4.1010

By:

Pomykała, Jacek

Publication type:

Article