Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  53,899 results for ""verification""

Your Filters

Subject : 02 engineering and technology
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Verification of Unary Communicating Datalog Programs

Subjects: Formal verification; Datavetenskap (datalogi); Communicating Datalog Programs

  • Source: Proceedings of the ACM on Management of Data. 2:1-26

Record details

Read Online Read More Add to Saved list
×
Academic Journal

Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints

Subjects: distributed systems; parameterized verification; Formal methods

  • Source: Kourtis, G, Dixon, C & Fisher, M 2024, ' Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints ', IEEE Transactions on Software Engineering,

Record details

Read More Add to Saved list
×
Academic Journal

Progressive and efficient verification for digital signatures: extensions and experimental results

Subjects: IoT; Efficient verification; Digital signatures

  • Source: Journal of Cryptographic Engineering, 14 (3)

Record details

Read Online Read More Add to Saved list
×
Academic Journal

Software verification challenges in the blockchain ecosystem

Subjects: Blockchain; Smart contracts; Blockchain-oriented software

  • Source: International Journal on Software Tools for Technology Transfer. 26:431-444

Record details

Read More Add to Saved list
×
Academic Journal

Integrating scenario- and contract-based verification for automated vessels

Subjects: 0202 electrical engineering, electronic engineering, information engineering; 02 engineering and technology; Scenario-based verification Reliability Assumption-guarantee contracts Verification descriptor Updates Safety Maritime autonomous surface ships (MASS)

  • Source: Journal of Marine Science and Technology. 29:620-640

Record details

Read Online Read More Add to Saved list
×
Academic Journal

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language

Subjects: Proof Certification; Software Verification; Intermediate Verification Languages

  • Source: Proceedings of the ACM on Programming Languages, 8 (PLDI)

Record details

Read Online Read More Add to Saved list
×
Academic Journal

Towards Using Digital Technologies to Balance Conservation and Fire Mitigation in Building Heritage Hosting Vulnerable Occupants: Rapid Evacuation Simulator Verification for the 'Omero Museum' (Ancona, Italy)

Subjects: case study; building heritage; Archaeology

  • Source: Heritage, Vol 7, Iss 7, Pp 3734-3755 (2024)

Record details

Read Online Read More Add to Saved list
×
Academic Journal

Security-Minded Verification of Cooperative Awareness Messages

Subjects: Monitoring; Computer crime; Verification

  • Source: Farrell, M, Bradbury, M, Cardoso, R C, Fisher, M, Dennis, L A, Dixon, C, Sheik, A T, Hu, Y & Maple, C 2023, ' Security-Minded Verification of Cooperative Awareness

Record details

Read Online Read More Add to Saved list
×
Academic Journal

Verification of the person’s dynamic signature on a limited number of samples

Subjects: Electronic computers. Computer science; 0202 electrical engineering, electronic engineering, information engineering; parametric functions

  • Source: Informatika, Vol 21, Iss 2, Pp 94-106 (2024)

Record details

Read Online Read More Add to Saved list
×
Academic Journal

Writer Independent Offline Signature Verification System using Global and Local Geometric Features

Subjects: Technology; svm; offline signature verification

  • Source: Iraqi Journal for Computers and Informatics, Vol 50, Iss 1, Pp 172-186 (2024)

Record details

Read Online Read More Add to Saved list
×
  • 1-10 of  53,899 results for ""verification""