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.
Agent Computing and Multi-Agent Systems [[electronic resource] ] : 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers / / edited by Aditya Ghose, Guido Governatori, Ramakoti Sadananda
| Agent Computing and Multi-Agent Systems [[electronic resource] ] : 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers / / edited by Aditya Ghose, Guido Governatori, Ramakoti Sadananda |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVI, 480 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer logic Algorithms Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs Algorithm Analysis and Problem Complexity |
| ISBN | 3-642-01639-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Existence of Risk Strategy Equilibrium in Games Having No Pure Strategy Nash Equilibrium -- Multiagent Planning with Trembling-Hand Perfect Equilibrium in Multiagent POMDPs -- MAGEFRAME: A Modular Agent Framework to Support Various Communication Schemas Based on a Self-embedding Algorithm -- Using Multiagent System to Build Structural Earth Model -- Agent-Supported Protein Structure Similarity Searching -- Merging Roles in Coordination and in Agent Deliberation -- Planning Actions with Social Consequences -- Layered Cooperation of Macro Agents and Micro Agents in Cooperative Active Contour Model -- Contextual Agent Deliberation in Defeasible Logic -- Real-Time Moving Target Search -- Formalizing Excusableness of Failures in Multi-Agent Systems -- Design and Implementation of Security Mechanisms for a Hierarchical Community-Based Multi-Agent System -- A Need for Biologically Inspired Architectural Description: The Agent Ontogenesis Case -- Multi-Agent Based Web Search with Heterogeneous Semantics -- Reasoning about Norms, Obligations, Time and Agents -- An Agent Modeling Method Based on Scenario Rehearsal for Multiagent Simulation -- Fast Partial Reallocation in Combinatorial Auctions for Iterative Resource Allocation -- Deliberation Process in a BDI Model with Bayesian Networks -- An Asymmetric Protocol for Argumentation Games in Defeasible Logic -- On the Design of Interface Agents for a DRT Transportation System -- Supporting Requirements Analysis in Tropos: A Planning-Based Approach -- Towards Method Engineering for Multi-Agent Systems: A Validation of a Generic MAS Metamodel -- Entrainment in Human-Agent Text Communication -- A Driver Modeling Methodology Using Hypothetical Reasoning for Multiagent Traffic Simulation -- Analysis of Pedestrian Navigation Using Cellular Phones -- Identifying Structural Changes in Networks Generated from Agent-Based Social Simulation Models -- Multi-agent Simulation of Linguistic Processes: A NEPs Perspective -- A 3D Conversational Agent for Presenting Digital Information for Deaf People -- Multiagent-Based Defensive Strategy System for Military Simulation -- Achieving DRBAC Authorization in Multi-trust Domains with MAS Architecture and PMI -- When and How to Smile: Emotional Expression for 3D Conversational Agents -- GAMA: An Environment for Implementing and Running Spatially Explicit Multi-agent Simulations -- Multi-agent Based Incineration Process Control System with Qualitative Model -- Engineering Adaptive Multi-Agent Systems with ODAM Methodology -- Integrating Agent Technology and SIP Technology to Develop Telecommunication Applications with JadexT -- A Generic Distributed Algorithm for Computing by Random Mobile Agents -- Coalition Structure Generation in Task-Based Settings Based on Cardinality Structure -- A Specialised Architecture for Embedding Trust Evaluation Capabilities in Intelligent Mobile Agents -- Reasoning with Levels of Modalities in BDI Logic -- A Distributed Computational Model for Mobile Agents -- Belief-Based Stability in Non-transferable Utility Coalition Formation -- Déjà Vu: Social Network Agents for Personal Impression Management -- Agent Dialogue as Partial Argumentation and Its Fixpoint Semantics -- Developing Knowledge Models for Multi-agent Mediator Systems -- A Game Theoretic Approach for Deploying Intrusion Detection Agent -- Double Token-Ring and Region-Tree Based Group Communication Mechanism for Mobile Agent -- Towards Culturally-Situated Agent Which Can Detect Cultural Differences -- Ontology-Based Emotion System for Digital Environment -- An Agent Approach for Distributed Job-Shop Scheduling. |
| Record Nr. | UNISA-996466016203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agents in Principle, Agents in Practice [[electronic resource] ] : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011, Proceedings / / edited by David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya Ghose
| Agents in Principle, Agents in Practice [[electronic resource] ] : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011, Proceedings / / edited by David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya Ghose |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIII, 534 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Computer simulation Software engineering Information storage and retrieval User interfaces (Computer systems) Artificial Intelligence Computer Communication Networks Simulation and Modeling Software Engineering Information Storage and Retrieval User Interfaces and Human Computer Interaction |
| ISBN | 3-642-25044-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Title -- Preface -- Organization -- Table of Contents -- Invited Talks -- Game Theory for Security: Lessons Learned from Deployed Applications -- Tools for a Robust, Sustainable Agent Community -- From Notions to Models and Back Again, Again -- References -- Full Papers -- Coalitions and Teamwork -- A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams -- Introduction -- Preliminaries -- Coalitional Games -- SCG -- BDD and ZDD -- New Concise Representation Scheme -- MTZDD Representation Based on SCG -- Conciseness of MTZDD Representation -- Procedure of Constructing a MTZDD Representation -- Coalition Structure Generation -- Core-Related Problems -- Core-Non-emptiness -- Core-Membership -- The Cost of Stability -- Experimental Simulations -- Conclusion -- References -- Environment Characterization for Non-recontaminating Frontier-Based Robotic Exploration -- Introduction -- Related Work -- Problem Formulation -- Environment Analysis -- Environment Geometry -- Exploration Model -- Topology Tree -- Exploration Rules -- Environment Bounds -- Optimal Pursuit Strategy -- Conclusion -- References -- Learning -- Aspects of Active Norm Learning and the Effect of Lying on Norm Emergence in Agent Societies -- Introduction -- Background -- Approaches to the Learning of Norms -- Aspects of Active Learning of Agents -- Comparing Different Combinations of Learning -- The Need for Integrating the Three Aspects of Learning -- Lying in Agent Societies -- Impact of Lying When Observational and Communication-Based Learning Is Used -- Impact of Lying When All the Three Aspects of Learning Are Considered -- Discussion -- Conclusion -- References -- Mechanisms and Voting -- Strategy-Proof Mechanisms for Interdependent Task Allocation with Private Durations -- Introduction.
Task Allocation and Preliminary Concepts -- Non-Negative ITA Mechanisms -- Non-profitable NN-ITA -- Profitable NN-ITA -- Interdependent Task Allocation Mechanisms -- Discussion and Related Work -- Conclusions and Future Work -- References -- Costly Voting with Sequential Participation -- Introduction -- Related Work -- Model -- Model of Voting -- Voting Mechanisms -- Optimal Voting Strategies in the m Votes to Win Mechanism -- Efficiency of the Voting Mechanisms -- Experimental Setup -- Experimental Results -- Discussions -- Concluding Remarks -- References -- Modelling and Simulation -- An Agent-Based Model for Integrated Contagion and Regulation of Negative Mood -- Introduction -- Mood Contagion and Regulation -- The Agent-Based Model -- Norm Values -- The Dynamics of Mood Contagion and Emotional Regulation -- Simulation Results -- Mathematical Analysis -- Discussion -- References -- A Framework for Agent-Based Modeling of Intelligent Goods -- Introduction -- Intelligent Goods -- Definition -- Capability Dependencies -- Services -- Agents -- Information Entities -- Single Agents -- Multiple Agents -- Locations of Agents -- Conclusions -- References -- Multi-Agent Systems for Biomedical Simulation: Modeling Vascularization of Porous Scaffolds -- Introduction -- Use of Agents in Biological Systems -- Agent-Based Modeling of Angiogenesis -- Angiogenesis -- Model Description -- Computational Challenges -- Simulation Results -- Conclusions -- References -- Group Abstraction for Large-Scale Agent-Based Social Diffusion Models with Unaffected Agents -- Introduction -- A Collective Decision Making Model -- Two Methods for Group Abstraction -- Abstraction by Weighted Averaging -- Abstraction by Determining Equilibria -- Simulation -- Evaluation of the Two Abstraction Methods -- Time Complexity Results -- Approximation Errors -- Discussion -- Conclusions. References -- Negotiation -- Towards a Quantitative Concession-Based Classification Method of Negotiation Strategies -- Introduction -- Concession Making in Negotiation -- Negotiation Model -- Concession Rate -- Method -- Experiments -- Detailed Experimental Setup -- Experimental Results -- Discussion -- Clustering -- Four Negotiation Orientations -- Related Work -- Conclusion and Future Work -- References -- Consensus Policy Based Multi-agent Negotiation -- Introduction -- The Mediation Protocol -- Generalized Pattern Search Algorithm for Unconstrained Optimization -- Basic Operation of the Negotiation Protocol -- The Aggregation of Preferences -- OWA Operators -- Quantifier Guided Aggregation -- The Search Process -- Preferred Contract Selection in the Search Process -- Experimental Evaluation -- Conclusion -- References -- Optimization -- Distributed Lagrangian Relaxation Protocol for the Over-constrained Generalized Mutual Assignment Problem -- Introduction -- Generalized Mutual Assignment Problem -- Solutions for the Over-constrained Problem -- DisLRP with a Disposal Agent -- DisLRP with Inequality-Based Formulation -- Experiments -- Conclusion -- References -- The Effect of Congestion Frequency and Saturation on Coordinated Traffic Routing -- Introduction -- Background -- Modeling Traffic as a Constraint Optimization Problem -- Coordinated Routing -- Centralized -- Decentralized -- Simulator and Experimentation Setup -- Results -- Conclusion -- References -- Sustainability -- Coordination, Conventions and the Self-organisation of Sustainable Institutions -- Introduction -- Background -- Self-governing Institutions -- Institutionalised Power and Roles -- Dynamic Specifications -- Linear Public Good (LPG) Game -- Formal Characterisation -- Methodology -- Institutions as Dynamic Specifications -- Formal Model -- Action Language Specification. Fluents (Institutional Facts) -- Member Role Assignment (ocr1) -- Member Exclusion (ocr2) -- Specification Space -- Experimental Results -- Testbed Implementation -- Agent Strategies -- Evaluation -- Related and Further Work -- Summary and Conclusions -- References -- An Agent-Based Extensible Climate Control S ystem for Sustainable Greenhouse Production -- Introduction -- Greenhouse Climate Control Setup -- Requirements in Greenhouse Climate Control -- Multi-Agent-Based Control System -- Negotiation-Based Coordination -- Experimental Validation -- Related Work -- Future Work -- Conclusion -- References -- Applications -- ACTraversal: Ranking Crowdsourced Commonsense Assertions and Certifications -- Introduction -- Approaches to Knowledge Verification -- ACTraversal -- Data Structure -- ACTraversal Algorithm -- Implementation -- Components -- Single Component Ranking -- Multiple Components Aggregation -- Discussion -- Conclusion -- References -- Automated Adaptation of Strategic Guidance in Multiagent Coordination -- Introduction -- Motivation -- Approach -- Problem Formulation -- Strategies -- Executing Strategies -- Evaluation -- Related Work -- Conclusions and Future Work -- References -- Early Innovation Papers -- Agent Societies and Frameworks -- Weaving a Fabric of Socially Aware Agents -- Introduction -- Social Intelligence -- Languages -- Roles and Relationships -- Interaction and Communication -- Conversations and Scenes -- Weaving the Society -- State of an Open System -- Agent Processes -- Making a Move in Group Interaction -- Conclusion -- References -- Dynamic Ad Hoc Coordination of Distributed Tasks Using Micro-Agents -- Introduction -- Android and -Agents -- Android Application Components -- Modelling Constraints of Android Application Components -- -Agents -- Integrating -Agents with Android. Mobile App. for Ad Hoc Meetings at Unconferences -- Application Context -- Mobile App. for Ad Hoc Organisation of Spontaneous Talks -- Related Work -- Conclusion -- References -- Programming Dynamics of Multi-Agent Systems -- Introduction -- Dynamics in MAS and Challenges to Construct -- Categories of Dynamics in MAS -- An Example: Cooperative Robotic for Airport Sanitary Maintenance -- Software Engineering Issues to Develop Dynamic MAS -- An Organization-Based Approach to Programming Dynamic of MAS -- A Core Dynamic Organization Programming Model -- Programming Mechanisms for Dynamics -- An Organization-Based Language for Programming Dynamics -- Case Study -- Related Works -- Conclusions and Future Researches -- References -- Capability Modeling of Knowledge-Based Agents for Commonsense Knowledge Integration -- Introduction -- Commonsense Knowledge Bases -- Knowledge Representation -- Commonsense Knowledge Collection -- Commonsense Reasoning -- Commonsense Knowledge Integration -- Multi-agent Framework -- Challenges -- Related Work -- Capability Model -- Representation of Capability Model -- Notations -- Capability Modeling: Choosing the Best k -- Capability Evaluation for Matchmaking -- Evaluation -- Experimental Setup -- Experimental Result -- Conclusion -- References -- Producing Enactable Protocols in Artificial Agent Societies -- Introduction -- Bisimulation -- The Netbill Protocol -- Producing the Final Enactable Protocol -- Protocol Repair -- Related Work -- Conclusion -- References -- Argumentation -- Argumentation Schemes for Collaborative Planning -- Introduction -- Deliberative Dialogue -- A Model of Plans -- Argumentation -- Example -- Discussion and Conclusions -- References -- Preference-Based Argumentation Handling Dynamic Preferences Built on Prioritized Logic Programming -- Introduction -- Preliminaries. Prioritized Logic Programs and Preferred Answer Sets. |
| Record Nr. | UNISA-996465938803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination, Organizations, Institutions, and Norms in Agent Systems X [[electronic resource] ] : COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers / / edited by Aditya Ghose, Nir Oren, Pankaj Telang, John Thangarajah
| Coordination, Organizations, Institutions, and Norms in Agent Systems X [[electronic resource] ] : COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers / / edited by Aditya Ghose, Nir Oren, Pankaj Telang, John Thangarajah |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 269 p. 66 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-319-25420-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466224103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination, Organizations, Institutions, and Norms in Agent Systems X : COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers / / edited by Aditya Ghose, Nir Oren, Pankaj Telang, John Thangarajah
| Coordination, Organizations, Institutions, and Norms in Agent Systems X : COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers / / edited by Aditya Ghose, Nir Oren, Pankaj Telang, John Thangarajah |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 269 p. 66 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-319-25420-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483127303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Service-Oriented Computing - ICSOC Workshops 2012 [[electronic resource] ] : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers / / edited by Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang
| Service-Oriented Computing - ICSOC Workshops 2012 [[electronic resource] ] : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers / / edited by Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 466 p. 153 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Application software Information technology Business—Data processing Management information systems Computer science Optical data processing Software Engineering Information Systems Applications (incl. Internet) IT in Business Computer Appl. in Administrative Data Processing Management of Computing and Information Systems Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-642-37804-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop Track -- ASC 2012 -- The 1st International Workshop on Analytics Services on the Cloud (ASC 2012) -- A Performance Evaluation of Public Cloud Using TPC-C -- An Efficient Data Maintenance Strategy for Data Service Mashup Based on Materialized View Selection -- Homomorphic-Encryption-Based Separation Approach for Outsourced Data Management -- Protecting Software as a Service in the Clouds by Validation -- Identifying Fake Feedback for Effective Trust Management in Cloud Environments -- Sonata: A Workflow Model for Interactive Mobile Cloud Applications -- Kachako: A Hybrid-Cloud Unstructured Information Platform for Full Automation of Service Composition, Scalable Deployment and Evaluation -- DISA 2012.-2012 International Workshop on Data Intensive Services Based Application (DISA2012) -- An End-User Oriented Approach for Business Process Personalization from Multiple Sources -- A Combination Approach to QoS Prediction of Web Services -- Effective and Efficient Web Reviews Extraction Based on Hadoop -- Intelligent Information Management of Tourist Attractions Based on Semantic Sensor Web - An Optimal Approach to the QoS-Based WSMO Web Service Composition Using Genetic Algorithm -- PAASC 2012 -- Introduction to the Second International Workshop on Performance Assessment and Auditing in Service Computing (PAASC 2012) -- Towards the Definition of a Framework Supporting High Level Reliability of Services -- A Service-Oriented Approach to Assess the Value of Digital Preservation -- Specification and Deployment of Distributed Monitoring and Adaptation Infrastructures -- Introducing the Vienna Platform for Elastic Processes -- SCEB 2012 -- TrustVis: A Trust Visualisation Service for Online Communities -- Crowd-Sourcing Service Designs: Overview and Research Challenges -- Towards an Architectural Framework for Service-Oriented Enterprises -- Monitoring Business Process Interaction -- Interactive Product Browsing and Configuration using Remote Augmented Reality Sales Services -- SeMaps -- The 1st International Workshop on Self-managing Pervasive Service Systems (SeMaPS 2012) -- A Reformative System Architecture of Cloud Service Based on IEEE 1851 -- Towards RESTful Communications in Self-managing Pervasive Systems -- A Research Roadmap for Context-Awareness-Based Self-managed Systems -- A 3D Model Based Action Recorder Using Computer Vision -- Protecting Sensitive Attributes in Attribute Based Access Control -- A Hybrid Indoor Positioning Approach for Supermarkets -- WESOA 2012 -- Introduction to the 8th International Workshop on Engineering Service-Oriented Applications (WESOA12) -- Towards Automated and Correct Composition of Timed Services -- Resolving Violations in Inter-process Relationships in Business Process Ecosystems -- An Aspect-Oriented Approach to Enforce Security Properties in Business Processes -- Evaluation of Quality of Design for Document-Centric Software Services -- Resource Management for Pervasive Systems -- Service Oriented Requirements Engineering: Practitioner’s Perspective -- Phd Symposium Track -- Phd Symposium Track: Message from Chairs -- Data Consistency Enforcement on Business Process Transactions -- An Auction-Based Approach for Composite Web Service Selection -- Data-Centric Probabilistic Process: A PhD. Symposium Paper for ICSOC -- Detection of SOA Antipatterns -- Requirements-Driven Software Service Evolution -- Detecting Runtime Business Process Compliance with Artifact Lifecycles -- Demo Track -- Introduction to the Demo Track -- A Dynamic SCA-Based System for Smart Homes and Offices -- Realizing Elastic Processes with ViePEP -- A Social Network Based Collaborative Video Story Composition Platform -- BPMashup: Dynamic Execution of RESTful Processes -- Soda: A Tool Support for the Detection of SOA Antipatterns -- Method and System for In-Place Modeling of Business Process Extensions as First-Class Entities -- Supporting Business and IT through Updatable Process Views: The pro View Demonstrator. |
| Record Nr. | UNISA-996466202103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-Oriented Computing - ICSOC Workshops 2012 : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers / / edited by Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang
| Service-Oriented Computing - ICSOC Workshops 2012 : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers / / edited by Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 466 p. 153 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Application software Information technology Business—Data processing Management information systems Computer science Optical data processing Software Engineering Information Systems Applications (incl. Internet) IT in Business Computer Appl. in Administrative Data Processing Management of Computing and Information Systems Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-642-37804-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop Track -- ASC 2012 -- The 1st International Workshop on Analytics Services on the Cloud (ASC 2012) -- A Performance Evaluation of Public Cloud Using TPC-C -- An Efficient Data Maintenance Strategy for Data Service Mashup Based on Materialized View Selection -- Homomorphic-Encryption-Based Separation Approach for Outsourced Data Management -- Protecting Software as a Service in the Clouds by Validation -- Identifying Fake Feedback for Effective Trust Management in Cloud Environments -- Sonata: A Workflow Model for Interactive Mobile Cloud Applications -- Kachako: A Hybrid-Cloud Unstructured Information Platform for Full Automation of Service Composition, Scalable Deployment and Evaluation -- DISA 2012.-2012 International Workshop on Data Intensive Services Based Application (DISA2012) -- An End-User Oriented Approach for Business Process Personalization from Multiple Sources -- A Combination Approach to QoS Prediction of Web Services -- Effective and Efficient Web Reviews Extraction Based on Hadoop -- Intelligent Information Management of Tourist Attractions Based on Semantic Sensor Web - An Optimal Approach to the QoS-Based WSMO Web Service Composition Using Genetic Algorithm -- PAASC 2012 -- Introduction to the Second International Workshop on Performance Assessment and Auditing in Service Computing (PAASC 2012) -- Towards the Definition of a Framework Supporting High Level Reliability of Services -- A Service-Oriented Approach to Assess the Value of Digital Preservation -- Specification and Deployment of Distributed Monitoring and Adaptation Infrastructures -- Introducing the Vienna Platform for Elastic Processes -- SCEB 2012 -- TrustVis: A Trust Visualisation Service for Online Communities -- Crowd-Sourcing Service Designs: Overview and Research Challenges -- Towards an Architectural Framework for Service-Oriented Enterprises -- Monitoring Business Process Interaction -- Interactive Product Browsing and Configuration using Remote Augmented Reality Sales Services -- SeMaps -- The 1st International Workshop on Self-managing Pervasive Service Systems (SeMaPS 2012) -- A Reformative System Architecture of Cloud Service Based on IEEE 1851 -- Towards RESTful Communications in Self-managing Pervasive Systems -- A Research Roadmap for Context-Awareness-Based Self-managed Systems -- A 3D Model Based Action Recorder Using Computer Vision -- Protecting Sensitive Attributes in Attribute Based Access Control -- A Hybrid Indoor Positioning Approach for Supermarkets -- WESOA 2012 -- Introduction to the 8th International Workshop on Engineering Service-Oriented Applications (WESOA12) -- Towards Automated and Correct Composition of Timed Services -- Resolving Violations in Inter-process Relationships in Business Process Ecosystems -- An Aspect-Oriented Approach to Enforce Security Properties in Business Processes -- Evaluation of Quality of Design for Document-Centric Software Services -- Resource Management for Pervasive Systems -- Service Oriented Requirements Engineering: Practitioner’s Perspective -- Phd Symposium Track -- Phd Symposium Track: Message from Chairs -- Data Consistency Enforcement on Business Process Transactions -- An Auction-Based Approach for Composite Web Service Selection -- Data-Centric Probabilistic Process: A PhD. Symposium Paper for ICSOC -- Detection of SOA Antipatterns -- Requirements-Driven Software Service Evolution -- Detecting Runtime Business Process Compliance with Artifact Lifecycles -- Demo Track -- Introduction to the Demo Track -- A Dynamic SCA-Based System for Smart Homes and Offices -- Realizing Elastic Processes with ViePEP -- A Social Network Based Collaborative Video Story Composition Platform -- BPMashup: Dynamic Execution of RESTful Processes -- Soda: A Tool Support for the Detection of SOA Antipatterns -- Method and System for In-Place Modeling of Business Process Extensions as First-Class Entities -- Supporting Business and IT through Updatable Process Views: The pro View Demonstrator. |
| Record Nr. | UNINA-9910739479703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Service-Oriented Computing – ICSOC 2018 Workshops [[electronic resource] ] : ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers / / edited by Xiao Liu, Michael Mrissa, Liang Zhang, Djamal Benslimane, Aditya Ghose, Zhongjie Wang, Antonio Bucchiarone, Wei Zhang, Ying Zou, Qi Yu
| Service-Oriented Computing – ICSOC 2018 Workshops [[electronic resource] ] : ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers / / edited by Xiao Liu, Michael Mrissa, Liang Zhang, Djamal Benslimane, Aditya Ghose, Zhongjie Wang, Antonio Bucchiarone, Wei Zhang, Ying Zou, Qi Yu |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 492 p. 221 illus., 126 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Computer organization Software engineering Computer security Artificial intelligence Information Systems Applications (incl. Internet) Computer Systems Organization and Communication Networks Software Engineering Systems and Data Security Artificial Intelligence |
| ISBN | 3-030-17642-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | DDBS: Data-Driven Business Services -- NLS4IoT: Networked Learning Systems for Secured IoT Services and Its Applications -- CIoTS: Context-Aware and IoT Services -- ASOCA: Adaptive Service-Oriented and Cloud Applications and ISyCC: IoT Systems for Context-aware Computing -- ADMS: AI and Data Mining for Services. |
| Record Nr. | UNISA-996466277803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-Oriented Computing – ICSOC 2018 Workshops : ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers / / edited by Xiao Liu, Michael Mrissa, Liang Zhang, Djamal Benslimane, Aditya Ghose, Zhongjie Wang, Antonio Bucchiarone, Wei Zhang, Ying Zou, Qi Yu
| Service-Oriented Computing – ICSOC 2018 Workshops : ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers / / edited by Xiao Liu, Michael Mrissa, Liang Zhang, Djamal Benslimane, Aditya Ghose, Zhongjie Wang, Antonio Bucchiarone, Wei Zhang, Ying Zou, Qi Yu |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 492 p. 221 illus., 126 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Computer engineering Computer networks Software engineering Data protection Artificial intelligence Computer and Information Systems Applications Computer Engineering and Networks Software Engineering Data and Information Security Artificial Intelligence |
| ISBN | 3-030-17642-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | DDBS: Data-Driven Business Services -- NLS4IoT: Networked Learning Systems for Secured IoT Services and Its Applications -- CIoTS: Context-Aware and IoT Services -- ASOCA: Adaptive Service-Oriented and Cloud Applications and ISyCC: IoT Systems for Context-aware Computing -- ADMS: AI and Data Mining for Services. |
| Record Nr. | UNINA-9910337860003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||