Web services composition: A decade's overview
Abstract Service-oriented computing (SOC) represents a paradigm for building distributed
computing applications over the Internet. In the past decade, Web services composition has …
computing applications over the Internet. In the past decade, Web services composition has …
Semantic security against web application attacks
In this paper, we propose a method of detecting and classifying web application attacks. In
contrast to current signature-based security methods, our solution is an ontology based …
contrast to current signature-based security methods, our solution is an ontology based …
A formal approach for the specification and verification of a trustworthy human resource discovery mechanism in the expert cloud
NJ Navimipour - Expert Systems with Applications, 2015 - Elsevier
Expert Cloud as a new class of Cloud computing systems enables its users to request the
skill, knowledge and expertise of people without any information of their location by …
skill, knowledge and expertise of people without any information of their location by …
Behavioral modeling and formal verification of a resource discovery approach in Grid computing
Grid computing is the federation of resources from multiple locations to facilitate resource
sharing and problem solving over the Internet. The challenge of finding services or …
sharing and problem solving over the Internet. The challenge of finding services or …
Behavioral modeling and automated verification of a Cloud-based framework to share the knowledge and skills of human resources
Expert Cloud as a new class of Cloud computing systems by employing the Internet
infrastructures and Cloud computing concepts enables its users to request the skill …
infrastructures and Cloud computing concepts enables its users to request the skill …
Research on public opinion effecting on stock price during crises based on model checking
Y Ma, P Wu, C Ling, S Ding - Expert Systems with Applications, 2024 - Elsevier
Recent studies have shown that news and investors' comments on social media against
listed companies significantly impact stock price movements. Listed companies suffer …
listed companies significantly impact stock price movements. Listed companies suffer …
Scalable service-oriented replication with flexible consistency guarantee in the cloud
Replication techniques are widely applied in and for cloud to improve scalability and
availability. In such context, the well-understood problem is how to guarantee consistency …
availability. In such context, the well-understood problem is how to guarantee consistency …
Constraint-based model-driven testing of web services for behavior conformance
Abstract In the current Web Service Description Language (WSDL), only the interface
information of a web service is provided without any indication on its behavior logic …
information of a web service is provided without any indication on its behavior logic …
Web service interaction modeling and verification using recursive composition algebra
The design principle of composability among Web services is one of the most crucial
reasons for the success and popularity of Web services. However, achieving error-free …
reasons for the success and popularity of Web services. However, achieving error-free …
[PDF][PDF] A Lightweight Attribute-Based Access Control System for IoT.
S Monir - 2016 - harvest.usask.ca
The evolution of the Internet of things (IoT) has made a significant impact on our daily and
professional life. Home and office automation are now even easier with the implementation …
professional life. Home and office automation are now even easier with the implementation …