VyPR2: A Framework for Runtime Verification of Python Web Services

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-17465-1_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

A Utility-Aware Runtime Conflict Resolver for Composite Web Services

2014English

A Framework for Deriving Semantic Web Services

Information Systems Frontiers
Theoretical Computer ScienceComputer NetworksSoftwareInformation SystemsCommunications
2006English

Runtime Verification of Authorization Hook Placement for the Linux Security Modules Framework

2002English

Architectural Framework for Web Services Authorization

2005English

Runtime Checking for Program Verification

English

A Privacy Policy Framework for Grid and Web Services

Information Technology Journal
2007English

An Access Control Framework for Web Services

Information Management & Computer Security
2005English

A Bounded Model Checking Approach for the Verification of Web Services Composition

International Journal of Web Services Research
Computer NetworksSoftwareInformation SystemsCommunications
2013English

Rule Systems for Runtime Verification: A Short Tutorial

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy