Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Service-oriented computing - ICSOC 2007 : Fifth international conference, Vienna, Austria, September 17-20, 2007, proceedings / / edited by Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan
| Service-oriented computing - ICSOC 2007 : Fifth international conference, Vienna, Austria, September 17-20, 2007, proceedings / / edited by Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XIX, 632 p.) |
| Disciplina | 658.84 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Web services
Electronic commerce Computer network architectures |
| ISBN | 3-540-74974-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Research Track Full Papers -- Pattern Based SOA Deployment -- A Domain-Specific Language for Web APIs and Services Mashups -- BPEL4Job: A Fault-Handling Design for Job Flow Management -- Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition -- Discovering Service Compositions That Feature a Desired Behaviour -- An Hybrid, QoS-Aware Discovery of Semantic Web Services Using Constraint Programming -- Architectural Decisions and Patterns for Transactional Workflows in SOA -- Bite: Workflow Composition for the Web -- Stochastic Modeling of Composite Web Services for Closed-Form Analysis of Their Performance and Reliability Bottlenecks -- SLA-Based Advance Reservations with Flexible and Adaptive Time QoS Parameters -- Monitoring the QoS for Web Services -- Q-Peer: A Decentralized QoS Registry Architecture for Web Services -- Business Process Regression Testing -- Auditing Business Process Compliance -- Specification and Verification of Artifact Behaviors in Business Process Models -- Improving Temporal-Awareness of WS-Agreement -- Maintaining Data Dependencies Across BPEL Process Fragments -- Supporting Dynamics in Service Descriptions - The Key to Automatic Service Usage -- Grid Application Fault Diagnosis Using Wrapper Services and Machine Learning -- Stochastic COWS -- Service License Composition and Compatibility Analysis -- Dynamic Requirements Specification for Adaptable and Open Service-Oriented Systems -- High Performance Approach for Multi-QoS Constrained Web Services Selection -- Negotiation of Service Level Agreements: An Architecture and a Search-Based Approach -- Byzantine Fault Tolerant Coordination for Web Services Atomic Transactions -- Syntactic Validation of Web Services Security Policies -- An Agent-Based, Model-Driven Approach for Enabling Interoperability in the Area of Multi-brand Vehicle Configuration -- User-Driven Service Lifecycle Management – Adopting Internet Paradigms in Telecom Services -- Run-Time Monitoring for Privacy-Agreement Compliance -- Task Memories and Task Forums: A Foundation for Sharing Service-Based Personal Processes -- Research Track Short Papers -- Addressing the Issue of Service Volatility in Scientific Workflows -- Facilitating Mobile Service Provisioning in IP Multimedia Subsystem (IMS) Using Service Oriented Architecture -- eServices for Hospital Equipment -- Using Reo for Service Coordination -- A Context-Aware Service Discovery Framework Based on Human Needs Model -- Weight Assignment of Semantic Match Using User Values and a Fuzzy Approach -- Grounding OWL-S in SAWSDL -- A Declarative Approach for QoS-Aware Web Service Compositions -- Supporting QoS Negotiation with Feature Modeling -- A Multi-criteria Service Ranking Approach Based on Non-Functional Properties Rules Evaluation -- A Development Process for Self-adapting Service Oriented Applications -- Automated Dynamic Maintenance of Composite Services Based on Service Reputation -- Verifying Temporal and Epistemic Properties of Web Service Compositions -- Industrial Track Full Papers -- Research and Implementation of Knowledge-Enhanced Information Services -- A Model and Rule Driven Approach to Service Integration with Eclipse Modeling Framework -- Semantic Web Services in Action - Enterprise Information Integration -- Policy Based Messaging Framework -- Contextualized B2B Registries -- Bridging Architectural Boundaries Design and Implementation of a Semantic BPM and SOA Governance Tool -- SOA and Large Scale and Complex Enterprise Transformation -- Run-Time Adaptation of Non-functional Properties of Composite Web Services Using Aspect-Oriented Programming -- Software as a Service: An Integration Perspective -- Building Data-Intensive Grid Applications with Globus Toolkit – An Evaluation Based on Web Crawling -- QoS-Aware Web Service Compositions Using Non-intrusive Policy Attachment to BPEL -- Execution Optimization for Composite Services Through Multiple Engines -- Service Design Process for Reusable Services: Financial Services Case Study -- Demo Track Short Papers -- UMM Add-In: A UML Extension for UN/CEFACT’s Modeling Methodology -- 4 - A Prototype Demonstrating ontext and olicies for ransactional eb ervices -- WSQoSX – A QoS Architecture for Web Service Workflows -- ReoService: Coordination Modeling Tool. |
| Record Nr. | UNINA-9910484372403321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Service-oriented computing - ICSOC 2008 : 6th international conference, Sydney, Australia, December 1-5, 2008, proceedings / / edited by Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria
| Service-oriented computing - ICSOC 2008 : 6th international conference, Sydney, Australia, December 1-5, 2008, proceedings / / edited by Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XVIII, 737 p.) |
| Disciplina | 004.36 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Electronic data processing - Distributed processing
Electronic commerce Web services |
| ISBN | 3-540-89652-X |
| Classificazione |
54.81
DAT 250f SS 4800 WIR 917f |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Web Scale Computing: The Power of Infrastructure as a Service -- Services in the Long Tail World: Challenges and Opportunities -- Services for Science -- Managing and Internet Service Bus -- Quality-Driven Business Policy Specification and Refinement for Service-Oriented Systems -- Adaptation of Web Service Composition Based on Workflow Patterns -- Protocol-Based Web Service Composition -- Design and Implementation of a Fault Tolerant Job Flow Manager Using Job Flow Patterns and Recovery Policies -- Building Mashups for the Enterprise with SABRE -- Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques -- Automatic Workflow Graph Refactoring and Completion -- Authorization and User Failure Resiliency for WS-BPEL Business Processes -- Reasoning on Semantically Annotated Processes -- Event-Driven Quality of Service Prediction -- Automatic Realization of SOA Deployment Patterns in Distributed Environments -- The LLAMA Middleware Support for Accountable Service-Oriented Architecture -- ubiSOAP: A Service Oriented Middleware for Seamless Networking -- Towards a Service-Oriented Approach for Managing Context in Mobile Environment -- An Autonomic Middleware Solution for Coordinating Multiple QoS Controls -- Transparent Runtime Adaptability for BPEL Processes -- Organizational Constraints to Realizing Business Value from Service Oriented Architectures: An Empirical Study of Financial Service Institutions -- E-Marketplace for Semantic Web Services -- Business Driven SOA Customization -- Sound Multi-party Business Protocols for Service Networks -- Automatic Mash Up of Composite Applications -- Non-desynchronizable Service Choreographies -- A Framework for Semantic Sensor Network Services -- Context-Driven Autonomic Adaptation of SLA -- Determining QoS of WS-BPEL Compositions -- An Initial Approach to Explaining SLA Inconsistencies -- Ontology-Based Compatibility Checking for Web Service Configuration Management -- SOAlive Service Catalog: A Simplified Approach to Describing, Discovering and Composing Situational Enterprise Services -- WorldTravel: A Testbed for Service-Oriented Applications -- TCP???Compose ??? – A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences -- A Runtime Quality Architecture for Service-Oriented Systems -- QoS Policies for Business Processes in Service Oriented Architectures -- Deriving Business Service Interfaces in Windows Workflow from UMM Transactions -- From Business Process Models to Web Services Orchestration: The Case of UML 2.0 Activity Diagram to BPEL -- Batch Invocation of Web Services in BPEL Process -- Formation of Service Value Networks for Decentralized Service Provisioning -- Towards Automated WSDL-Based Testing of Web Services -- Automated Service Composition with Adaptive Planning -- A Planning-Based Approach for the Automated Configuration of the Enterprise Service Bus -- Verifying Interaction Protocol Compliance of Service Orchestrations -- Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation -- A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes -- Integrated Security Context Management of Web Components and Services in Federated Identity Environments -- Predicting and Learning Executability of Composite Web Services -- Authorization Policy Based Business Collaboration Reliability Verification -- VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning -- A Framework for Advanced Modularization and Data Flow in Workflow Systems -- Model Identification for Energy-Aware Management of Web Service Systems -- LASS – License Aware Service Selection: Methodology and Framework -- Integrated and Composable Supervision of BPEL Processes -- Optimised Semantic Reasoning for Pervasive Service Discovery -- COSMA – An Approach for Managing SLAs in Composite Services -- Resource Calculations with Constraints, and Placement of Tenants and Instances for Multi-tenant SaaS Applications -- SPIN: Service Performance Isolation Infrastructure in Multi-tenancy Environment -- Management as a Service for IT Service Management -- SMART: Application of a Method for Migration of Legacy Systems to SOA Environments -- Discovering and Deriving Service Variants from Business Process Specifications -- Market Overview of Enterprise Mashup Tools -- Siena: From PowerPoint to Web App in 5 Minutes -- Exploration of Discovered Process Views in Process Spaceship -- ROME4EU: A Web Service-Based Process-Aware System for Smart Devices -- WS-Engineer 2008 -- MetaCDN: Harnessing Storage Clouds for High Performance Content Delivery -- Yowie: Information Extraction in a Service Enabled World. |
| Record Nr. | UNINA-9910483816703321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Service-oriented computing - ICSOC 2008 : 6th international conference, Sydney, Australia, December 1-5, 2008, proceedings / / edited by Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria
| Service-oriented computing - ICSOC 2008 : 6th international conference, Sydney, Australia, December 1-5, 2008, proceedings / / edited by Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XVIII, 737 p.) |
| Disciplina | 004.36 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Electronic data processing - Distributed processing
Electronic commerce Web services |
| ISBN | 3-540-89652-X |
| Classificazione |
54.81
DAT 250f SS 4800 WIR 917f |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Web Scale Computing: The Power of Infrastructure as a Service -- Services in the Long Tail World: Challenges and Opportunities -- Services for Science -- Managing and Internet Service Bus -- Quality-Driven Business Policy Specification and Refinement for Service-Oriented Systems -- Adaptation of Web Service Composition Based on Workflow Patterns -- Protocol-Based Web Service Composition -- Design and Implementation of a Fault Tolerant Job Flow Manager Using Job Flow Patterns and Recovery Policies -- Building Mashups for the Enterprise with SABRE -- Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques -- Automatic Workflow Graph Refactoring and Completion -- Authorization and User Failure Resiliency for WS-BPEL Business Processes -- Reasoning on Semantically Annotated Processes -- Event-Driven Quality of Service Prediction -- Automatic Realization of SOA Deployment Patterns in Distributed Environments -- The LLAMA Middleware Support for Accountable Service-Oriented Architecture -- ubiSOAP: A Service Oriented Middleware for Seamless Networking -- Towards a Service-Oriented Approach for Managing Context in Mobile Environment -- An Autonomic Middleware Solution for Coordinating Multiple QoS Controls -- Transparent Runtime Adaptability for BPEL Processes -- Organizational Constraints to Realizing Business Value from Service Oriented Architectures: An Empirical Study of Financial Service Institutions -- E-Marketplace for Semantic Web Services -- Business Driven SOA Customization -- Sound Multi-party Business Protocols for Service Networks -- Automatic Mash Up of Composite Applications -- Non-desynchronizable Service Choreographies -- A Framework for Semantic Sensor Network Services -- Context-Driven Autonomic Adaptation of SLA -- Determining QoS of WS-BPEL Compositions -- An Initial Approach to Explaining SLA Inconsistencies -- Ontology-Based Compatibility Checking for Web Service Configuration Management -- SOAlive Service Catalog: A Simplified Approach to Describing, Discovering and Composing Situational Enterprise Services -- WorldTravel: A Testbed for Service-Oriented Applications -- TCP???Compose ??? – A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences -- A Runtime Quality Architecture for Service-Oriented Systems -- QoS Policies for Business Processes in Service Oriented Architectures -- Deriving Business Service Interfaces in Windows Workflow from UMM Transactions -- From Business Process Models to Web Services Orchestration: The Case of UML 2.0 Activity Diagram to BPEL -- Batch Invocation of Web Services in BPEL Process -- Formation of Service Value Networks for Decentralized Service Provisioning -- Towards Automated WSDL-Based Testing of Web Services -- Automated Service Composition with Adaptive Planning -- A Planning-Based Approach for the Automated Configuration of the Enterprise Service Bus -- Verifying Interaction Protocol Compliance of Service Orchestrations -- Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation -- A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes -- Integrated Security Context Management of Web Components and Services in Federated Identity Environments -- Predicting and Learning Executability of Composite Web Services -- Authorization Policy Based Business Collaboration Reliability Verification -- VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning -- A Framework for Advanced Modularization and Data Flow in Workflow Systems -- Model Identification for Energy-Aware Management of Web Service Systems -- LASS – License Aware Service Selection: Methodology and Framework -- Integrated and Composable Supervision of BPEL Processes -- Optimised Semantic Reasoning for Pervasive Service Discovery -- COSMA – An Approach for Managing SLAs in Composite Services -- Resource Calculations with Constraints, and Placement of Tenants and Instances for Multi-tenant SaaS Applications -- SPIN: Service Performance Isolation Infrastructure in Multi-tenancy Environment -- Management as a Service for IT Service Management -- SMART: Application of a Method for Migration of Legacy Systems to SOA Environments -- Discovering and Deriving Service Variants from Business Process Specifications -- Market Overview of Enterprise Mashup Tools -- Siena: From PowerPoint to Web App in 5 Minutes -- Exploration of Discovered Process Views in Process Spaceship -- ROME4EU: A Web Service-Based Process-Aware System for Smart Devices -- WS-Engineer 2008 -- MetaCDN: Harnessing Storage Clouds for High Performance Content Delivery -- Yowie: Information Extraction in a Service Enabled World. |
| Record Nr. | UNISA-996465901603316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-oriented computing - ICSOC 2008 workshops : ICSOC 2008 international workshops, Sydney, Australia, December 1, 2008 ; revised selected papers / / George Feuerlicht, Winfried Lamersdorf (eds.)
| Service-oriented computing - ICSOC 2008 workshops : ICSOC 2008 international workshops, Sydney, Australia, December 1, 2008 ; revised selected papers / / George Feuerlicht, Winfried Lamersdorf (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XIV, 416 p.) |
| Disciplina | 004.6 |
| Altri autori (Persone) |
FeuerlichtGeorge
LamersdorfWinfried |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Electronic data processing - Distributed processing
Web services Computer engineering Computer network architectures Electronic commerce |
| ISBN | 3-642-01247-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fourth International Workshop on Engineering Service-Oriented Applications (WESOA 2008) -- Introduction: Fourth International Workshop on Engineering Service-Oriented Applications (WESOA 2008) -- What Would Smart Services Look Like -- Design of Composable Services -- A Conceptual Framework for Unified and Comprehensive SOA Management -- A Metrics Suite for Evaluating Flexibility and Complexity in Service Oriented Architectures -- Simulation of IT Service Processes with Petri-Nets -- Automatic Test Case Generation for Interacting Services -- Detecting Behavioural Incompatibilities between Pairs of Services -- On Supporting the Design of Human-Provided Services in SOA -- Model Transformations to Leverage Service Networks -- Building Scientific Workflow with Taverna and BPEL: A Comparative Study in caGrid -- Second International Workshop on Web APIs and Services Mashups (Mashups 2008) -- Introduction: Second International Workshop on Web APIs and Services Mashups (Mashups 2008) -- Innovation in the Programmable Web: Characterizing the Mashup Ecosystem -- The Changing Role of IT Departments in Enterprise Mashup Environments -- The Mashup Atelier -- The Reverse C10K Problem for Server-Side Mashups -- Creating a ‘Cloud Storage’ Mashup for High Performance, Low Cost Content Delivery -- First International Workshop on Quality-of-Service Concerns in Service Oriented Architectures (QoSCSOA 2008) -- Introduction: First International Workshop on Quality of Service Concerns in Service Oriented Architectures (QoSCSOA 2008) -- Challenges in Integrating Tooling and Monitoring for QoS Provisioning in SOA Systems (Keynote) -- A Scalable Approach for QoS-Based Web Service Selection -- Towards QoS-Based Web Services Discovery -- A Redundancy Protocol for Service-Oriented Architectures -- A Context-Aware Trust Model for Service-Oriented Multi-Agent Systems -- Three Common Mistakes in Modeling and Analysis of QoS of Service-Oriented Systems -- Enabling Service Business Ecosystems (ESBE 2008) -- Introduction: First International Workshop on Enabling Service Business Ecosystems (ESBE 2008) -- Describing Services for Service Ecosystems -- Service Selection in Business Service Ecosystem -- On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption -- On Analyzing Evolutionary Changes of Web Services -- Standardization as a Business Ecosystem Enabler -- Managing Quality of Human-Based eServices -- Third Workshop on Trends in Enterprise Architecture Research (TEAR 2008) -- Introduction: Third Workshop on Trends in Enterprise Architecture Research (TEAR 2008) -- Towards a Sophisticated Understanding of Service Design for Enterprise Architecture -- A Conceptual Framework for the Governance of Service-Oriented Architectures -- Using Enterprise Architecture Models and Bayesian Belief Networks for Failure Impact Analysis -- Assessing System Availability Using an Enterprise Architecture Analysis Approach -- An Information Model for Landscape Management – Discussing Temporality Aspects -- A Lightweight Method for the Modelling of Enterprise Architectures -- A Contingency Approach to Enterprise Architecture Method Engineering -- Towards a Common Terminology in the Discipline of Enterprise Architecture. |
| Record Nr. | UNINA-9910484995803321 |
| Berlin, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Service-Oriented Computing--ICSOC 2005 : Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005 : proceedings / / Boualem Benatallah, Fabio Casati, Paolo Traverso (eds.)
| Service-Oriented Computing--ICSOC 2005 : Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005 : proceedings / / Boualem Benatallah, Fabio Casati, Paolo Traverso (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, : Springer-Verlag, c2005 |
| Descrizione fisica | 1 online resource (XVIII, 606 p.) |
| Disciplina | 004.6 |
| Altri autori (Persone) |
BenatallahBoualem
CasatiFabio <1971-> TraversoPaolo |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Mobile communication systems
Electronic commerce Web services |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Vision Papers -- Autonomic Web Processes -- The (Service) Bus: Services Penetrate Everyday Life -- Service Oriented Architectures for Science Gateways on Grid Systems -- Service Specification and Modelling -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems -- A Rule Driven Approach for Developing Adaptive Service Oriented Business Collaboration -- Service Design and Validation -- Pattern-Based Specification and Validation of Web Services Interaction Properties -- Using Test Cases as Contract to Ensure Service Compliance Across Releases -- Towards a Classification of Web Service Feature Interactions -- Service Selection and Discovery -- A High-Level Functional Matching for Semantic Web Services -- Service Selection Algorithms for Composing Complex Services with Multiple QoS Constraints -- On Service Discovery Process Types -- SPiDeR: P2P-Based Web Service Discovery -- An Approach to Temporal-Aware Procurement of Web Services -- Service Composition and Aggregation -- Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm -- Modeling and Analyzing Context-Aware Composition of Services -- Towards Semi-automated Workflow-Based Aggregation of Web Services -- Choreography and Orchestration: A Synergic Approach for System Design -- Service Monitoring -- PerfSONAR: A Service Oriented Architecture for Multi-domain Network Monitoring -- DySOA: Making Service Systems Self-adaptive -- Towards Dynamic Monitoring of WS-BPEL Processes -- Service Management -- Template-Based Automated Service Provisioning – Supporting the Agreement-Driven Service Life-Cycle -- Proactive Management of Service Instance Pools for Meeting Service Level Agreements -- Adaptive Component Management Service in ScudWare Middleware for Smart Vehicle Space -- Semantic Web and Grid Services -- Semantic Caching for Web Services -- ODEGSG Framework, Knowledge-Based Annotation and Design of Grid Services -- Implicit Service Calls in ActiveXML Through OWL-S -- Semantic Tuplespace -- Security, Exception Handling, and SLAs -- Trust-Based Secure Workflow Path Construction -- Reputation-Based Service Level Agreements for Web Services -- Handling Faults in Decentralized Orchestration of Composite Web Services -- What’s in an Agreement?An Analysis and an Extension of WS-Agreement -- Industrial and Application Papers -- SOA in the Real World – Experiences -- Service-Oriented Design: The Roots -- A Service Oriented Architecture for Deploying and Managing Network Services -- Demo Papers -- Dynamo: Dynamic Monitoring of WS-BPEL Processes -- WofBPEL: A Tool for Automated Analysis of BPEL Processes -- OpenWS-Transaction: Enabling Reliable Web Service Transactions -- ASTRO: Supporting Composition and Execution of Web Services -- Demonstrating Dynamic Configuration and Execution of Web Processes -- Short Papers -- Programming and Compiling Web Services in GPSL -- Semantic Management of Web Services -- Composition of Services with Nondeterministic Observable Behavior -- Efficient and Transparent Web-Services Selection -- An Approach to Parameterizing Web Service Flows -- Dynamic Policy Management on Business Performance Management Architecture -- A Lightweight Formal Framework for Service-Oriented Applications Design -- A MDE Approach for Power Distribution Service Development -- Semantic Web Services for Activity-Based Computing -- The Price of Services -- Managing End-to-End Lifecycle of Global Service Policies -- Applying a Web Engineering Method to Design Web Services -- An Architecture for Unifying Web Services Authentication and Authorization -- Specifying Web Service Compositions on the Basis of Natural Language Requests. |
| Altri titoli varianti | ICSOC 2005 |
| Record Nr. | UNINA-9910484436203321 |
| Berlin, : Springer-Verlag, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Services - SERVICES 2021 : 17th world congress, held as part of the services conference federation, SCF 2021, virtual event, December 10-14, 2021, proceedings / / edited by Mohamed Adel Serhani and Liang-Jie Zhang
| Services - SERVICES 2021 : 17th world congress, held as part of the services conference federation, SCF 2021, virtual event, December 10-14, 2021, proceedings / / edited by Mohamed Adel Serhani and Liang-Jie Zhang |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (125 pages) |
| Disciplina | 005.756 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
System design
Information technology Web services |
| ISBN | 3-030-96585-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910544862203321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Services - SERVICES 2021 : 17th world congress, held as part of the services conference federation, SCF 2021, virtual event, December 10-14, 2021, proceedings / / edited by Mohamed Adel Serhani and Liang-Jie Zhang
| Services - SERVICES 2021 : 17th world congress, held as part of the services conference federation, SCF 2021, virtual event, December 10-14, 2021, proceedings / / edited by Mohamed Adel Serhani and Liang-Jie Zhang |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (125 pages) |
| Disciplina | 005.756 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
System design
Information technology Web services |
| ISBN | 3-030-96585-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464534403316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Services computing - SCC 2020 : 17th international conference, held as part of the services conference federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, proceedings / / Qingyang Wang [and three others]
| Services computing - SCC 2020 : 17th international conference, held as part of the services conference federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, proceedings / / Qingyang Wang [and three others] |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XIV, 155 p. 54 illus., 36 illus. in color.) |
| Disciplina | 006.78 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Business - Data processing
Information technology Web services |
| ISBN | 3-030-59592-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910427717303321 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Services computing - SCC 2020 : 17th international conference, held as part of the services conference federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, proceedings / / Qingyang Wang [and three others]
| Services computing - SCC 2020 : 17th international conference, held as part of the services conference federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, proceedings / / Qingyang Wang [and three others] |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XIV, 155 p. 54 illus., 36 illus. in color.) |
| Disciplina | 006.78 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Business - Data processing
Information technology Web services |
| ISBN | 3-030-59592-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996418300103316 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Services computing - SCC 2021 : 18th international conference, held as part of the Services Conference Federation, SCF 2021, virtual event, December 10-14, 2021, proceedings / / edited by Ajay Katangur, Liang-Jie Zhang
| Services computing - SCC 2021 : 18th international conference, held as part of the Services Conference Federation, SCF 2021, virtual event, December 10-14, 2021, proceedings / / edited by Ajay Katangur, Liang-Jie Zhang |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (103 pages) |
| Disciplina | 006.78 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Web services |
| ISBN | 3-030-96566-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Conference Sponsor - Services Society -- About the Services Conference Federation (SCF) -- Contents -- Rule-Based Extraction of Tuple-Based Service Demand from Natural Language-Based Software Requirement for Automated Service Composition -- 1 Introduction -- 2 Research Process -- 3 Approach -- 3.1 Natural Language Processing and the Two-Stage Approach -- 3.2 Pre-processing -- 3.3 Rule-Based Extraction -- 4 Performance Evaluation -- 4.1 Experimental Data -- 4.2 Evaluation Criteria -- 4.3 Performance -- 5 Conclusion -- References -- Forecast of Electric Vehicle Charging Load in Urban Planning - A Study in Shenzhen -- 1 Introduction -- 2 Methodology -- 2.1 Forecast of Charging Load of EVs -- 2.2 The Current Situation of EVs in Shenzhen -- 3 The Charging Load Forecast -- 3.1 Daily Electricity Demand Calculation -- 3.2 Distribution of Daily Charging Load of EVs of Different Category -- 3.3 Short-Term and Long-Term Forecasts of Electric Vehicle Charging Load in Shenzhen -- 4 Conclusion -- References -- A Survey: The State-of-the-Art Development of B-Learning Services -- 1 Introduction -- 2 The State-of-the-Art of B-Learning -- 2.1 The Connotation and Types of B-Learning -- 2.2 The Patterns of B-Learning -- 2.3 The Applications of B-Learning -- 3 The Contrastive Analysis of Multiple Learning Mode -- 4 The Optimizing Strategies of B-Learning -- 4.1 Using Intelligent Technologies Augment Teacher Preparations -- 4.2 Building Customized Learning Experience -- 5 Conclusion -- References -- Research on the New Model of ShenShan Special Cooperation Zone of Shenzhen Coordinated Development of Regional Economy -- 1 Raising of the Problem -- 2 Current Situation of Uncoordinated Regional Economic Development in Guangdong Province -- 2.1 Large Absolute Gap in GDP -- 2.2 Uncoordinated Development of Regional Industrial Structure.
2.3 There is a Big Gap in the Role of Central Cities -- 2.4 The Income Gap Between Residents is Large -- 3 Exploration on the New Model of Coordinated Development of Regional Economy in Guangdong -- 3.1 Multi-level Subject Participation Mode -- 3.2 Co Management Mode -- 3.3 Flying Out Fully Dominates the Transition Mode -- 3.4 Flying Out Fully Dominated Mode -- 3.5 Leading Demonstration Area of "Enclave Economy" -- 4 An Empirical Test on the Development Model of ShenShan Special Cooperation Zone and Regional Economic Growth -- 4.1 Selection of Important Institutional Factors -- 4.2 Synthesis of Institutional Proxy Variables -- 4.3 Econometric Test and Result Analysis of Institutional Factors in Economic Growth of ShenShan Special Cooperation Zone -- 5 Innovation of Regional Coordinated Development Model of "Enclave Economy" in ShenShan Special Cooperation Zone -- 5.1 Create a Comprehensive Management System Dominated by the "Flying Out" Side -- 5.2 Initiate the Development Path of "Flying In" Side to Build a New City -- 5.3 Innovate the Dynamic Mechanism of Balancing Municipal Forces and Win-Win Cooperation Among Multiple Subjects -- 6 Demonstration Value of "Enclave Economy" Development Model of ShenShan Special Cooperation Zone -- 6.1 Make a Demonstration on Innovating the Development Model of "Enclave Economy" and Poverty Alleviation Model -- 6.2 Make a Demonstration on the Path of Innovative Regional Coordinated Development -- 6.3 Make a Demonstration in Innovating a Mutually Beneficial and Win-Win Cooperation Model -- References -- Design of IoT Health Pension Scheme Based on Physiological and Behavioral Indicators for Elderly -- 1 Introduction -- 2 Related Work -- 2.1 Analysis of Survey Results -- 3 Design Strategy of Smart Pension Scheme -- 3.1 Overall Program Design of Monitoring Equipment -- 3.2 Functional Overall Design -- 4 Case Study. 5 Summary and Discussion -- 5.1 Scheme Summary -- 5.2 Future Perspectives -- References -- Innovation of Teaching Mode of Comprehensive Engineering Cost Training Course Based on OBE Concept in the Era of Big Data -- 1 Overview -- 2 Research Idea -- 3 Insufficiency of Curriculum Construction -- 3.1 The Relatively Weak Faculty in Practice -- 3.2 Lack of Professional Quality of Fresh Graduates -- 3.3 Relatively Weak Practical Courses -- 3.4 Relatively Single Form of Assessment -- 4 Suggest Measures -- 4.1 "Double Mentor" Team Coordination -- 4.2 The Craftsmanship of Professionalism -- 4.3 Curriculum Standard and Post-Based -- 4.4 Diversification of Assessment Standards -- 4.5 Certificate of Completion Standard -- 5 Conclusion -- References -- The Construction and Improvement of Digital Library Service -- 1 Introduction -- 2 Current Situation and Problems -- 2.1 Insufficient Attention -- 2.2 Insufficient Funds -- 2.3 Imperfect Technology -- 2.4 The Content of Digital Book Resources is Uneven -- 3 The Countermeasures -- 3.1 Enhance and Improve the Software and Hardware Environment of University Libraries -- 3.2 Strengthen the Perfection of Digital Book Procurement in University Libraries -- 3.3 Ensure the Security and Stability of the Digital Book Service System -- 3.4 Accelerate Talent Introduction and Training -- 4 Conclusion -- References -- Author Index. |
| Record Nr. | UNISA-996464537503316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
