Sciweavers

4736 search results - page 173 / 948
» Service Oriented Internet
Sort
View
EMISA
2007
Springer
16 years 21 days ago
Service Oriented Security Architecture
Cristian Opincaru, Gabriela Gheorghe
FMICS
2007
Springer
16 years 21 days ago
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
LIPARI
2007
Springer
16 years 20 days ago
Service Oriented Architecture: Overview and Directions
Boualem Benatallah, Hamid R. Motahari Nezhad