Sciweavers

98 search results - page 5 / 20
» A Unified Formal Foundation for Service Oriented Architectur...
Sort
View
ICEBE
2007
IEEE
151views Business» more  ICEBE 2007»
14 years 2 months ago
Systematic Security Analysis for Service-Oriented Software Architectures
Due to the dramatic increase in intrusive activities architecture security analysis and design has emerged as an important aspect of the development of software services. It is a ...
Yanguo Liu, Issa Traoré
APSCC
2008
IEEE
14 years 2 months ago
A Service-Oriented Framework for Quantitative Security Analysis of Software Architectures
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
Yanguo Liu, Issa Traoré, Alexander M. Hoole
ICSOC
2003
Springer
14 years 29 days ago
Service Oriented Internet
Effective service delivery capabilities are critical to the transformation of the Internet into a viable commercial infrastructure. At the present time, the architecture of the Int...
Jaideep Chandrashekar, Zhi-Li Zhang, Zhenhai Duan,...
JUCS
2002
146views more  JUCS 2002»
13 years 7 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
ICSEA
2007
IEEE
14 years 2 months ago
Diapason: an Engineering Approach for Designing, Executing and Evolving Service-Oriented Architectures
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...
Frédéric Pourraz, Hervé Verju...