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.
ICCASA 2014 : proceedings of 3rd International Conference on Context-Aware Systems and Applications : 15-17 October 2014, Dubai, United Arab Emirates
| ICCASA 2014 : proceedings of 3rd International Conference on Context-Aware Systems and Applications : 15-17 October 2014, Dubai, United Arab Emirates |
| Autore | Mansoor Wathiq |
| Pubbl/distr/stampa | [Place of publication not identified], : ICST, 2014 |
| Descrizione fisica | 1 online resource (184 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Computer Science
Engineering & Applied Sciences |
| ISBN | 1-63190-005-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
International Conference on Context-Aware Systems and Applications 2014
Proceedings of the 3rd International Conference on Context-Aware Systems and Applications ICCASA '14 3rd International Conference on Context-Aware Systems and Applications, DUBAI, United Arab Emirates - October 07 - 09, 2014 |
| Record Nr. | UNINA-9910376591803321 |
Mansoor Wathiq
|
||
| [Place of publication not identified], : ICST, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Cloud Computing [[electronic resource] ] : First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers / / edited by Asma Al-Saidi, Rudolf Fleischer, Zakaria Maamar, Omer F. Rana
| Intelligent Cloud Computing [[electronic resource] ] : First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers / / edited by Asma Al-Saidi, Rudolf Fleischer, Zakaria Maamar, Omer F. Rana |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 169 p. 66 illus.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
Software engineering Application software Computer programming Algorithms Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Programming Techniques Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-19848-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cloud Computing: Towards Making Computing a Utility -- Semantic Engine and Cloud Agency for Vendor Agnostic Retrieval, Discovery, and Brokering of Cloud Services -- A Concurrency Mitigation Proposal for Sharing Environments: An Affinity Approach Based on Applications Classes -- On Cloud Spot Market: An Overview of the Research -- Analysis and Optimization on FlexDPDP: A Practical Solution for Dynamic Provable Data Possession -- Leveraging Ad-hoc Networking and Mobile Cloud Computing to Exploit Short-Lived Relationships Among Users on the Move -- Energy Consumption Analysis of HPC Applications Using NoSQL Database Feature of Energy Analyzer -- A Low-Overhead Secure Communication Framework for an Inter-cloud Environment -- Analysing Virtual Machine Security in Cloud Systems -- Cloud Computing: Security Issues Overview and Solving Techniques Investigation. |
| Record Nr. | UNISA-996198521703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Cloud Computing : First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers / / edited by Asma Al-Saidi, Rudolf Fleischer, Zakaria Maamar, Omer F. Rana
| Intelligent Cloud Computing : First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers / / edited by Asma Al-Saidi, Rudolf Fleischer, Zakaria Maamar, Omer F. Rana |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 169 p. 66 illus.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
Software engineering Application software Computer programming Algorithms Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Programming Techniques Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-19848-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cloud Computing: Towards Making Computing a Utility -- Semantic Engine and Cloud Agency for Vendor Agnostic Retrieval, Discovery, and Brokering of Cloud Services -- A Concurrency Mitigation Proposal for Sharing Environments: An Affinity Approach Based on Applications Classes -- On Cloud Spot Market: An Overview of the Research -- Analysis and Optimization on FlexDPDP: A Practical Solution for Dynamic Provable Data Possession -- Leveraging Ad-hoc Networking and Mobile Cloud Computing to Exploit Short-Lived Relationships Among Users on the Move -- Energy Consumption Analysis of HPC Applications Using NoSQL Database Feature of Energy Analyzer -- A Low-Overhead Secure Communication Framework for an Inter-cloud Environment -- Analysing Virtual Machine Security in Cloud Systems -- Cloud Computing: Security Issues Overview and Solving Techniques Investigation. |
| Record Nr. | UNINA-9910484956503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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
| 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 |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XVIII, 680 p.) |
| Disciplina | 004.36 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Application software Information storage and retrieval Management information systems Computer science Information technology Business—Data processing Software Engineering Computer Communication Networks Information Systems Applications (incl. Internet) Information Storage and Retrieval Management of Computing and Information Systems IT in Business |
| ISBN | 3-642-25535-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
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 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.
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. 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 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. 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. 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 -- 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. Availability of the Trust Management Service. |
| Record Nr. | UNISA-996465920503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-Oriented Computing: Agents, Semantics, and Engineering [[electronic resource] ] : AAMAS 2009 International Workshop, SOCASE 2009, Budapest, Hungary, May 11, 2009, Revised Selected Papers / / edited by Ryszard Kowalczyk, Quoc Bao Vo, Zakaria Maamar, Michael Huhns
| Service-Oriented Computing: Agents, Semantics, and Engineering [[electronic resource] ] : AAMAS 2009 International Workshop, SOCASE 2009, Budapest, Hungary, May 11, 2009, Revised Selected Papers / / edited by Ryszard Kowalczyk, Quoc Bao Vo, Zakaria Maamar, Michael Huhns |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (IX, 143 p.) |
| Disciplina | 004.6 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
Application software Data mining Database management Multimedia information systems Artificial intelligence Computer Communication Networks Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Database Management Multimedia Information Systems Artificial Intelligence |
| ISBN | 3-642-10739-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Service-Oriented Computing: Agents, Semantics, and Engineering -- Contract Observation in Web Services Environments -- Mechanism Design for Task Procurement with Flexible Quality of Service -- An Agent-Oriented Service Model for a Personal Information Manager -- Agent-Based Context Consistency Management in Smart Space Environments -- Using THOMAS for Service Oriented Open MAS -- Agent-Based Support for Context-Aware Provisioning of IMS-Enabled Ubiquitous Services -- Agent-Based Framework for Personalized Service Provisioning in Converged IP Networks -- Management Intelligence in Service-Level Reconfiguration of Distributed Network Applications -- Business Modeling via Commitments -- MAMS Service Framework. |
| Record Nr. | UNISA-996466277203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-Oriented Computing: Agents, Semantics, and Engineering [[electronic resource] ] : AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings / / edited by Jingshan Huang, Ryszard Kowalczyk, Zakaria Maamar, David Martin, Ingo Müller, Suzette Stoutenburg, Katia Sycara
| Service-Oriented Computing: Agents, Semantics, and Engineering [[electronic resource] ] : AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings / / edited by Jingshan Huang, Ryszard Kowalczyk, Zakaria Maamar, David Martin, Ingo Müller, Suzette Stoutenburg, Katia Sycara |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (184 p.) |
| Disciplina | 004.36 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
Application software Data mining Database management Multimedia information systems Artificial intelligence Computer Communication Networks Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Database Management Multimedia Information Systems Artificial Intelligence |
| ISBN |
1-280-94076-X
9786610940769 3-540-72619-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Executing Semantic Web Services with a Context-Aware Service Execution Agent -- An Effective Strategy for the Flexible Provisioning of Service Workflows -- Using Goals for Flexible Service Orchestration -- An Agent-Based Approach to User-Initiated Semantic Service Interconnection -- A Lightweight Agent Fabric for Service Autonomy -- Semantic Service Composition in Service-Oriented Multiagent Systems: A Filtering Approach -- Towards a Mapping from BPMN to Agents -- Associated Topic Extraction for Consumer Generated Media Analysis -- An MAS Infrastructure for Implementing SWSA Based Semantic Services -- A Role-Based Support Mechanism for Service Description and Discovery -- WS2JADE: Integrating Web Service with Jade Agents -- Z-Based Agents for Service Oriented Computing. |
| Record Nr. | UNISA-996465503803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-Oriented Computing: Agents, Semantics, and Engineering : AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings / / edited by Jingshan Huang, Ryszard Kowalczyk, Zakaria Maamar, David Martin, Ingo Müller, Suzette Stoutenburg, Katia Sycara
| Service-Oriented Computing: Agents, Semantics, and Engineering : AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings / / edited by Jingshan Huang, Ryszard Kowalczyk, Zakaria Maamar, David Martin, Ingo Müller, Suzette Stoutenburg, Katia Sycara |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (184 p.) |
| Disciplina | 004.36 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer networks
Application software Data mining Database management Multimedia systems Artificial intelligence Computer Communication Networks Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Database Management Multimedia Information Systems Artificial Intelligence |
| ISBN |
1-280-94076-X
9786610940769 3-540-72619-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Executing Semantic Web Services with a Context-Aware Service Execution Agent -- An Effective Strategy for the Flexible Provisioning of Service Workflows -- Using Goals for Flexible Service Orchestration -- An Agent-Based Approach to User-Initiated Semantic Service Interconnection -- A Lightweight Agent Fabric for Service Autonomy -- Semantic Service Composition in Service-Oriented Multiagent Systems: A Filtering Approach -- Towards a Mapping from BPMN to Agents -- Associated Topic Extraction for Consumer Generated Media Analysis -- An MAS Infrastructure for Implementing SWSA Based Semantic Services -- A Role-Based Support Mechanism for Service Description and Discovery -- WS2JADE: Integrating Web Service with Jade Agents -- Z-Based Agents for Service Oriented Computing. |
| Record Nr. | UNINA-9910484717903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||