High Assurance Services Computing

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Zhang, Liang-Jie (Επιμελητής έκδοσης), Paul, Raymond (Επιμελητής έκδοσης), Dong, Jing (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2009.
• Θέματα: Computer science.; Business mathematics.; Computer software > Reusability.; Microprocessors.; Software engineering.; Computer programming.; Computers.; Computer Science.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Business Mathematics.; Performance and Reliability.; Processor Architectures.; Programming Techniques.

High Assurance Services Computing Jing Dong, Raymond Paul, Liang-Jie Zhang Service computing is a cutting-edge area, popular in both industry and academia. New challenges have been introduced to develop service-oriented systems with high assurance requirements. High Assurance Services Computing capt...

Πίνακας περιεχομένων:

• Translucent Replication for Service Level Assurance
• Trustworthiness Assessment Framework for Net-Centric Systems
• A Trust Monitoring Architecture for Service-Based Software
• Human Interoperability Enterprise for High-Assurance Systems
• Service Composition Quality Evaluation in SPICE Platform
• High-Assurance Service Systems
• A Graph Grammar Approach to Behavior Verification of Web Services
• A Formal Framework for Developing High Assurance Event Driven Service-Oriented Systems
• Towards A Dependable Software Paradigm for Service-Oriented Computing
• Developing Dependable Systems by Maximizing Component Diversity
• High Assurance BPEL Process Models
• Specifying Enterprise Web-Oriented Architecture
• Designing an SOA for P2P On-Demand Video Delivery
• A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software.