Monika Solanki - Veröffentlichungen allgemein

(1 - 6 von 7

)

A Knowledge Driven Approach towards the Validation of Externally...

link.springer.com

The sharing of near real-time traceability knowledge in supply chains plays a central role in coordinating business operations and is a key driver for their...

WOP: Odp

ontologydesignpatterns.org

An Ontology Design Pattern for Digital Video. Monika Solanki. DIO: A Content Ontology pattern for capturing the Intents underlying Designs ...

Temporal Reasoning Of Reactive Web Services | SpringerLink

link.springer.com

Monika Solanki and Antonio Cau and Hussein Zedan. Introducing Compositionality in Web Service Descriptions. In Proceedings of the 10th International ...

Modelling and Linking Transformations in EPCIS Governing Supply Chain...

link.springer.com

Supply chains comprise of complex processes spanning across multiple trading partners. The various operations involved generate large number of events that...

Verifying Temporal and Epistemic Properties of Web Service...

link.springer.com

Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system...

Towards an Agent Based Approach for Verification of OWL-S Process...

link.springer.com

In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi...

Verwandte Suchanfragen zu Monika Solanki

Pascal Hitzler
Marta Sabou
Katia Sycara

Alessio Lomuscio
Jessica Jenkins
Edelgard Ronkholz

Diana Riepenhoff
Charles Kimama
Peter Ehrlich

Personen
Vorname "Monika" (57514)
Name "Solanki" (167)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Monika Solanki

A Knowledge Driven Approach towards the Validation of Externally...

WOP: Odp

Temporal Reasoning Of Reactive Web Services | SpringerLink

Modelling and Linking Transformations in EPCIS Governing Supply Chain...

Verifying Temporal and Epistemic Properties of Web Service...

Towards an Agent Based Approach for Verification of OWL-S Process...