A novel petri nets-based modeling method for the interaction between the sensor and the geographic environment in emerging sensor networks

F Zhang, Y Xu, J Chou - Sensors, 2016 - mdpi.com
The service of sensor device in Emerging Sensor Networks (ESNs) is the extension of
traditional Web services. Through the sensor network, the service of sensor device can …

Handling failures in semantic web service composition through replacement policy in healthcare domain

LK Ramasamy, S Kadry, MA Jayanthi… - Journal of Internet …, 2020 - jit.ndhu.edu.tw
Consistency of web service composition is a challenge for developing business
applications. As web services are naturally changeable, the way to deliver consistent web …

Design of a time Colored Petri Net model of the cloud-based mobile TV system

J Yim - International Journal of Software Engineering and Its …, 2015 - earticle.net
Testing requirements in the earlier stages of system design is a necessary step in system
development. Mobile TV system has been in the spotlight due to widespread use of smart …

[PDF][PDF] Semantic Web with Ontology Agents for Improved Search Results-A Survey

P Monika, GT Raju - Scopus indexed-International Journal of Applied … - researchgate.net
Semantic web is an upcoming research area, being emerged actively from late 2000
onwards. Lot of progress has been observed for implementation of automated knowledge …

CrESTa: Ejecución Tolerante a Fallas de Servicios Web Compuestos basado en Crónicas

M Grillo, Y Cardinale, J Aguilar - Revista Venezolana de Computación, 2015 - saber.ucv.ve
Resumen Los Servicios Web Compuestos (SWC) facilitan la definición e implementación de
procesos delicados y complejos de una forma confiable y versátil. Una vez que un usuario …

Conceptual Graph: An Approach to Improve Quality of Business Services Modeling

X Du, WW Song - International Journal of Web Services Research …, 2016 - igi-global.com
Business development or renovation is to introduce newer, more efficient routines and
processes through redesign or re-engineering of businesses, which form a set of business …

[PDF][PDF] Automata Based Formal Approach For Verification Of Web Services Composition

N Danapaquiame - 2014 - dspace.pondiuni.edu.in
Web services are promising standards, which can change the way of software written,
exercised and distributed to aid the integration of different systems. These standards create …

[PDF][PDF] A Review of Formal Descriptions of Session Initiation Protocol

J Yim, G Lee - 2014 - scholar.archive.org
The Session Initiation Protocol is used for establishing peer-to-peer sessions with one or
more participants. Internet telephone calls, multimedia distribution, conference calls, and …