Works matching DE "VERIFICATION of computer systems"
Results: 183
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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Fast and compact self-stabilizing verification, computation, and fault detection of an MST.
- Published in:
- Distributed Computing, 2015, v. 28, n. 4, p. 253, doi. 10.1007/s00446-015-0242-y
- By:
- Publication type:
- Article
Relation between Nekrasov functions and Bohr-Sommerfeld periods in the pure SU( N) case.
- Published in:
- Theoretical & Mathematical Physics, 2014, v. 178, n. 2, p. 239, doi. 10.1007/s11232-014-0139-0
- By:
- Publication type:
- Article
Planning the verification, validation, and testing process: a case study demonstrating a decision support model.
- Published in:
- Journal of Engineering Design, 2017, v. 28, n. 3, p. 171, doi. 10.1080/09544828.2016.1274964
- By:
- Publication type:
- Article
A New Barrier Certificate for Safety Verification of Hybrid Systems.
- Published in:
- Computer Journal, 2014, v. 57, n. 7, p. 1033, doi. 10.1093/comjnl/bxt059
- By:
- Publication type:
- Article
Test Selection for Hierarchical and Communicating Finite State Machines.
- Published in:
- Computer Journal, 2009, v. 52, n. 3, p. 334, doi. 10.1093/comjnl/bxn027
- Publication type:
- Article
Heuristic-Guided Abstraction Refinement.
- Published in:
- Computer Journal, 2009, v. 52, n. 3, p. 280
- By:
- Publication type:
- Article
Diagnosing Workflow Processes using Woflan.
- Published in:
- Computer Journal, 2001, v. 44, n. 4, p. 246, doi. 10.1093/comjnl/44.4.246
- By:
- Publication type:
- Article
Finite Approximations for Model Checking Non-finite-state Processes.
- Published in:
- Computer Journal, 2001, v. 44, n. 2, p. 109, doi. 10.1093/comjnl/44.2.109
- By:
- Publication type:
- Article
On the Complexity of Some Verification Problems in Process Control Specifications.
- Published in:
- Computer Journal, 1999, v. 42, n. 5, p. 349, doi. 10.1093/comjnl/42.5.349
- By:
- Publication type:
- Article
Reverse Protocol Verification: Concept, Algorithm and Application.
- Published in:
- Computer Journal, 1996, v. 39, n. 6, p. 511, doi. 10.1093/comjnl/39.6.511
- By:
- Publication type:
- Article
MEMS-Based Inertial Measurement.
- Published in:
- Carpathian Journal of Electronic & Computer Engineering, 2013, v. 6, n. 2, p. 38
- By:
- Publication type:
- Article
Diseño, Construcción y Fabricación de una Máquina Prototipo de Medición por Coordenadas.
- Published in:
- Revista Tecno Lógicas, 2011, n. 26, p. 11, doi. 10.22430/22565337.28
- By:
- Publication type:
- Article
An Algebraic Framework for the Verification of Context-Aware Adaptive Systems.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2015, v. 25, n. 7, p. 1105, doi. 10.1142/S0218194015500199
- By:
- Publication type:
- Article
COMPARING AND IMPROVING THE SYNTHESIS OF STATE-BASED SPECIFICATIONS FROM SCENARIO-BASED SPECIFICATIONS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2012, v. 22, n. 7, p. 867, doi. 10.1142/S0218194012500234
- By:
- Publication type:
- Article
Comparison of PERSIANN and V7 TRMM Multi-satellite Precipitation Analysis (TMPA) products with rain gauge data over Iran.
- Published in:
- International Journal of Remote Sensing, 2013, v. 34, n. 22, p. 8156, doi. 10.1080/01431161.2013.833360
- By:
- Publication type:
- Article
Experimental verification of quantum computation.
- Published in:
- Nature Physics, 2013, v. 9, n. 11, p. 727, doi. 10.1038/nphys2763
- By:
- 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:
- 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:
- Publication type:
- Article
Analysis of privacy in mobile telephony systems.
- Published in:
- International Journal of Information Security, 2017, v. 16, n. 5, p. 491, doi. 10.1007/s10207-016-0338-9
- By:
- Publication type:
- Article
A shuffle to achieve high efficiency through pre-computation and batch verification.
- Published in:
- International Journal of Information Security, 2013, v. 12, n. 4, p. 337, doi. 10.1007/s10207-013-0193-x
- By:
- Publication type:
- Article
Speaker verification using heterogeneous neural network architecture with linear correlation speech activity detection.
- Published in:
- Expert Systems, 2014, v. 31, n. 5, p. 437, doi. 10.1111/exsy.12030
- By:
- Publication type:
- Article
MODEL CHECKING FOR VERIFICATION OF MANDATORY ACCESS CONTROL MODELS AND PROPERTIES.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2011, v. 21, n. 1, p. 103, doi. 10.1142/S021819401100513X
- By:
- Publication type:
- Article
PROOF SCORE APPROACH TO ANALYSIS OF ELECTRONIC COMMERCE PROTOCOLS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2010, v. 20, n. 2, p. 253, doi. 10.1142/S0218194010004712
- By:
- Publication type:
- Article
A NEW VERIFIABLE THRESHOLD DECRYPTION SCHEME WITHOUT TRUSTED CENTER.
- Published in:
- Intelligent Automation & Soft Computing, 2011, v. 17, n. 5, p. 551, doi. 10.1080/10798587.2011.10643169
- By:
- Publication type:
- Article
Software Reliability through Theorem Proving.
- Published in:
- Defence Science Journal, 2009, v. 59, n. 3, p. 314, doi. 10.14429/dsj.59.1527
- By:
- Publication type:
- Article
Rapid Formal Verification as Requirements Stage Verification and Validation Technique.
- Published in:
- International Review on Computers & Software, 2019, v. 14, n. 1, p. 27, doi. 10.15866/irecos.v14i1.17684
- By:
- Publication type:
- Article
Capturing the Dynamism of Situation in the Flow of Information.
- Published in:
- International Review on Computers & Software, 2014, v. 9, n. 2, p. 302
- By:
- Publication type:
- Article
A Short-Text-Oriented Knowledge Service for Ornament Design Process Based on Ontology.
- Published in:
- International Review on Computers & Software, 2011, v. 6, n. 7, p. 1232
- By:
- Publication type:
- Article
Authenticity Preservation with Histogram-Based Reversible Data Hiding and Quadtree Concepts.
- Published in:
- Sensors (14248220), 2011, v. 11, n. 10, p. 9717, doi. 10.3390/s111009717
- By:
- Publication type:
- Article
A method for achieving provable data integrity in cloud computing.
- Published in:
- Journal of Supercomputing, 2019, v. 75, n. 1, p. 92, doi. 10.1007/s11227-015-1598-2
- By:
- Publication type:
- Article
Editorial.
- Published in:
- 2013
- By:
- Publication type:
- Editorial
Efficient audio integrity verification algorithm using discrete cosine transform.
- Published in:
- International Journal of Speech Technology, 2016, v. 19, n. 1, p. 1, doi. 10.1007/s10772-015-9312-6
- By:
- Publication type:
- Article
Car noise verification and applications.
- Published in:
- International Journal of Speech Technology, 2014, v. 17, n. 2, p. 167, doi. 10.1007/s10772-013-9215-3
- By:
- Publication type:
- Article
Increasing key space at little extra cost in RFID authentications.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2014, v. 22, n. 1, p. 155, doi. 10.3906/elk-1201-77
- By:
- Publication type:
- Article
Spatiotemporal model checking of location and mobility related security policy specifications.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2013, v. 21, n. 1, p. 144, doi. 10.3906/elk-1105-54
- By:
- Publication type:
- Article
Survey on definition, methods and verification of semantic Web service automatic composition.
- Published in:
- Application Research of Computers / Jisuanji Yingyong Yanjiu, 2014, v. 31, n. 5, p. 1292, doi. 10.3969/j.issn.1001-3695.2014.05.003
- By:
- Publication type:
- Article
Real-time system simulation and verification approach based on STeC to Stateflow transformation system.
- Published in:
- Application Research of Computers / Jisuanji Yingyong Yanjiu, 2014, v. 31, n. 2, p. 448, doi. 10.3969/j.issn.1001-3695.2014.02.030
- By:
- 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:
- Publication type:
- Article
VERIFICATION IN PRIVACY PRESERVING DATA PUBLISHING.
- Published in:
- Computing & Informatics, 2016, v. 35, n. 5, p. 1160
- By:
- Publication type:
- Article
VERIFICATION OF A FIELDBUS SCHEDULING PROTOCOL USING TIMED AUTOMATA.
- Published in:
- Computing & Informatics, 2009, v. 28, n. 5, p. 655
- By:
- 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:
- 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:
- 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:
- Publication type:
- Article
Model Checking.
- Published in:
- Resonance: Journal of Science Education, 2009, v. 14, n. 7, p. 667, doi. 10.1007/s12045-009-0055-z
- By:
- Publication type:
- Article
What Testing Reveals.
- Published in:
- ASHRAE Journal, 2010, v. 52, n. 11, p. B25
- By:
- Publication type:
- Article