{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":49,"n_cols":5,"rows_kept":49,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[22,2,22,3],[23,2,23,3],[26,2,26,3],[36,2,36,3],[36,4,36,5],[37,2,37,3],[37,4,37,5],[38,2,38,3],[38,4,38,5],[39,2,39,3],[40,2,40,3],[41,2,41,3],[46,2,46,3],[47,2,47,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465920503316"]
[null,null,"Titolo",null,"Service Oriented Computing [[electronic resource] ] : 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011, Proceedings / / edited by Gerti Kappel, Zakaria Maamar, Hamid R. Motahari-Nezhad"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011"]
[null,null,"ISBN",null,"3-642-25535-3"]
[null,null,"Edizione",null,"[1st ed. 2011.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVIII, 680 p.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 7084"]
[null,null,"Disciplina",null,"004.36"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer communication systems"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Information storage and retrieval"]
[{"$nulls":4},"Management information systems"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Information technology"]
[{"$nulls":4},"Business—Data processing"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Information Systems Applications (incl. Internet)"]
[{"$nulls":4},"Information Storage and Retrieval"]
[{"$nulls":4},"Management of Computing and Information Systems"]
[{"$nulls":4},"IT in Business"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,"Nota di contenuto",null,"Title Page -- Preface -- Organization -- Table of Contents -- Research Papers - Long -- Business Process Modeling -- Computing Degree of Parallelism  for BPMN Processes -- Introduction -- A Formal Model for Processes -- Homogeneous Processes -- Acyclic Choice-Less Processes -- Asynchronous Processes -- Related Work -- Conclusions -- References -- State Propagation  in Abstracted Business Processes -- Introduction -- Motivating Example and Research Challenges -- Activity Instance State Propagation -- Preliminaries -- State Propagation -- Activity Instance State Uniqueness -- Activity Instance "]
[{"$nulls":4},"State Transition Correctness -- Behavioral Inconsistencies -- Example -- Formalization of Behavioral Inconsistencies -- Classification of Behavioral Inconsistencies -- Related Work -- Conclusion and Future Work -- References -- Push-Enabling RESTful Business Processes -- Introduction -- RESTful Business Processes -- Publishing Processes as Resources -- Process Representations -- Uniform Interface -- Example -- RESTful Push Interactions -- Using HTTP -- Dedicated Push Frameworks -- Architecture -- Representing Process Resources as Feeds -- Push-Enabled RESTful Process Execution Engine -- Related Work -- Conclusions -- References -- Quality of Service 1 -- QoS Analysis for Web Service Compositions  Based on Probabilistic QoS -- Introduction -- Related Work -- Preliminaries -- Modeling Composite Services and Composition Patterns -- Model Processing Algorithm for Composite QoS Computation -- Probabilistic QoS Aggregation -- Approach Overview and Underlying Assumptions -- QoS Probability Distribution Calculation for Composition Patterns -- Experiment -- Validation -- Efficiency -- Conclusion -- References -- Constraint-Based Runtime Prediction of SLA Violations  in Service Orchestrations -- Introduction -- Motivation -- Constraint-Based QoS Prediction."]
[{"$nulls":4},"The General Prediction Framework -- QoS Prediction Architecture -- Representing Orchestrations and Their Continuations -- Deriving QoS Constraints from Continuations -- Using Computational Cost Functions -- Solving the Constraints -- Experimental Evaluations -- Implementation Notes -- Conclusions -- References -- Optimizing Decisions in Web Services  Orchestrations -- Introduction -- Fundamentals -- Optimization Models -- QoS in Web Services -- Analytic Hierarchy Process -- Methodology -- Formulating Optimization Problems -- Optimization Routines in Orc -- QOrc: Upgrading Orc for QoS Management -- Interfacing QOrc to Optimization Services -- Optimal Decision Results -- Related Work -- Conclusion -- References -- Formal Methods -- Decidability Results for Choreography Realization -- Introduction -- Basic Definitions -- Interconnected Models and Interaction Models -- Languages and Traces -- Partial Realizability -- The Synchronous Case -- The Asynchronous Case -- Distributed Realizability -- The Synchronous Case -- The Asynchronous Case -- Complexity -- Complete Realizability -- The Synchronous Case -- The Asynchronous Case -- Complexity -- Related Work -- Conclusion and Open Problems -- References -- Conformance Testing for Asynchronously  Communicating Services -- Introduction -- Correct Behavior -- Conformance Partner -- Test Case Generation -- Related Work -- Conclusion -- References -- Programming Services with Correlation Sets -- Introduction -- Key Concepts in Service-Oriented Computing -- Language Overview -- Data Structures, Syntax and Semantics -- Properties and Types -- Language Implementation in JOLIE -- Example: A Decentralised Authentication Protocol -- Related Work and Conclusions -- References -- Verification of Deployed Artifact Systems  via Data Abstraction -- Introduction -- Artifacts and Artifact Systems."]
[{"$nulls":4},"The Order-to-Cash Business Process -- Verification of Artifact Systems -- The General Problem -- Verification of Deployed Artifact Systems -- Conclusions and Future Work -- References -- XaaS Computing -- Profiling-as-a-Service: Adaptive Scalable Resource  Profiling for the Cloud in the Cloud -- Introduction -- Profiling as a Service (PraaS) -- Adaptive Resource Profiling in the Cloud -- Constraint-Guided Profiling Adaptation -- Technical Details -- Profiling Service Policy Specifications -- System Architecture -- Prototype Profiling Support -- Evaluation -- Measuring Profiling Overhead -- Measuring Profiling Accuracy -- Stress Testing of the Deployment and Financial Implications -- Evaluation "]
[{"$nulls":4},"Summary -- Related Work -- Conclusion -- References -- VM  Placement in non-Homogeneous IaaS-Clouds -- Introduction -- Overview of Our Approach -- User Provided Hints and Constraints -- Synthesis of Dynamic Infrastructures -- Deployment Plan Production -- Elastic Solver Service -- Evaluation -- Related Work -- Conclusions -- References -- Service Discovery -- Place Semantics into Context: Service  Community Discovery from the WSDL Corpus -- Introduction -- Framework for Service Community Discovery -- Community Discovery via NMTF -- Result Interpretation -- Objective Function -- Semantic Extension Integration -- Computing the Semantic Extensions of the WSDL Corpus -- Semantic Extension Integration -- Empirical Study -- Evaluation Metrics -- Experiment Design and Parameter Setting -- Performance Comparison -- Related Work -- Service Community Discovery -- Service Search and Discovery -- Service Selection -- Conclusion and Future Directions -- References -- WTCluster: Utilizing Tags for Web Services  Clustering -- Introduction -- Related Work -- WTCluster -- Framework for Web Service Discovery -- Feature Extraction and Similarity Computation."]
[{"$nulls":4},"Similarity Integration -- Tag Recommendation -- Experiment -- Experiment Setup -- Performance of Web Service Clustering -- Evaluation of Tag Recommendation Strategies -- Conclusion -- References -- Similarity Function Recommender Service Using  Incremental User Knowledge Acquisition -- Introduction -- Preliminaries -- Community Data Graph -- Measuring Entity Similarity -- Overall Architecture -- Exploiting Community User Knowledge -- Recommendation Rule Representation Model -- Matching Recommendation Rules -- Ranking Recommendation Rules -- Incremental Knowledge Acquisition -- Knowledge Acquisition Method: Ripple Down Rule -- Acquiring Knowledge through Different Rule Types -- Attribute Type-Based Rule (Default Rule). -- Key Attribute-based Rule. -- Relationship-based Rule. -- Lexical Relation-based Rule. -- Implementation, Usage, and Evaluation -- Implementation -- Usage Scenario of the Recommender Service -- Evaluation -- Related Work -- Conclusion and Future Work -- References -- Revealing Hidden Relations amongWeb Services  Using Business Process Knowledge -- Introduction: Relations among Web Services -- Related Work -- Preliminaries -- The Extended Behavioral Profile -- FormalModel -- Running Example -- Deriving a Global Behavioral Profile -- Merging Individual Behavioral Profiles -- Predicting Potential Resolutions for Unknown Relations (a?b) -- Experiments and Evaluation -- Discussion -- References -- Service Science and Management -- Towards a Service System Ontology for Service Science -- Introduction -- Foundational Concepts of the Service Systems Worldview -- Overview of Service Theories and Frameworks -- Analysis -- Discussion -- Conclusion and Future Work -- References -- Support for the Business Motivation Model  in the WS-Policy4MASC Language and MiniZnMASC Middleware -- Introduction -- Background and Related Work."]
[{"$nulls":4},"WS-Policy4MASC and MiniZnMASC -- Business Motivation Model (BMM) -- Other Related Work -- Extension of WS-Policy4AMSC and MiniZnMASC with Key BMM Constructs -- Evaluation -- Conclusions and Future Work -- References -- WS-Governance: A Policy Language for SOA  Governance -- Introduction -- A Motivating Use Case -- Using WS-Policy for SOA Governance -- From WS-Policy to WS-Governance -- SOA Modeling with SADL -- Specifying Governance Properties, and Policy Assertions with GAL -- Automatic Consistency Checking through CSPs -- Checking for Consistency -- WS-Governance Tooling: GDA and GDE -- Related Work -- Conclusions and Future Work -- References -- "]
[{"$nulls":4},"QoS-Based Task Scheduling in Crowdsourcing  Environments -- Introduction -- Related Work -- Crowdsourcing Platform Model -- Integration of Service Level Agreements (SLAs) -- Discussion -- Quality and Skill-Aware Crowdsourcing -- Skills and Suitability -- Worker and Consumer Communication -- Scheduling -- Profile Management -- Experiments -- Experiment Setup -- Experiment Types and Results -- Conclusion and Future Work -- References -- Service Security and Trust -- Model Driven Security Analysis of IDaaS Protocols -- Introduction -- Related Work -- Overview of Logic of Authentication -- Extending Belief Logic -- Reasoning about Users, Actions and Secrets -- Example: Analysis of SAML Web Single Sign-On -- Model Driven Security Protocol Analysis -- Automated Analysis of Belief Logics -- Overview -- Benefits of Model Driven Analysis -- Modeling of Extended Belief Logic -- Unification Algorithms -- OAuth Protocol Analysis -- Conclusion -- References -- Credibility-Based Trust Management  for Services in Cloud Environments -- Introduction -- Related Work -- The Trust Management Framework -- Assumptions and Attack Models -- Trust Management Service -- Trust Feedback Collection and Assessment."]
[{"$nulls":4},"Availability of the Trust Management Service."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 9th International Conference on Service-Oriented Computing, ICSOC 2011, held in Paphos, Cyprus, in December 2011. The 54 revised papers presented were carefully reviewed and selected from 184 submissions. The papers are organized in topical sections on business process modeling, quality of service, formal methods, XaaS computing, service discovery, service security and trust, service runtime infrastructures and service applications."]
[null,"2.","Record Nr.",null,"UNINA9910832929303321"]
[null,null,"Autore",null,"De Poli Barbara"]
[null,null,"Titolo",null,"Freemansonry and the Orient : esotericisms between the East and the West / / Barbara De Poli"]
[null,null,"Pubbl/distr/stampa",null,"Fondazione Ca' Foscari"]
[null,null,"ISBN",null,"88-6969-338-4"]
[null,null,"Soggetti",null,"Freemasonry - History"]
[{"$nulls":4},"Mysticism - History"]
[{"$nulls":4},"Civilization, Oriental"]
[{"$nulls":4},"East and West"]
[{"$nulls":4},"Egypt Civilization"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]