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-Mediated Electronic Commerce IV. Designing Mechanisms and Systems [[electronic resource] ] : AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Bologna, Italy, July 16, 2002, Revised Papers / / edited by Julian Padget, Onn Shehory, David Parkes, Norman Sadeh, William E. Walsh
| Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems [[electronic resource] ] : AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Bologna, Italy, July 16, 2002, Revised Papers / / edited by Julian Padget, Onn Shehory, David Parkes, Norman Sadeh, William E. Walsh |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XVIII, 346 p.) |
| Disciplina | 658.8/4 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Business
Management science Artificial intelligence Computer communication systems Information storage and retrieval Computers and civilization Information technology Business—Data processing Business and Management, general Artificial Intelligence Computer Communication Networks Information Storage and Retrieval Computers and Society IT in Business |
| ISBN | 3-540-36378-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Auctions -- A Comparison among Bidding Algorithms for Multiple Auctions -- Bidtree Ordering in IDA Combinatorial Auction Winner-Determination with Side Constraints -- Differential-Revelation VCG Mechanisms for Combinatorial Auctions -- An English Auction Protocol for Multi-attribute Items -- Effectiveness of Preference Elicitation in Combinatorial Auctions -- Auctions for Divisible Resources: Price Functions, Nash Equilibrium, and Decentralized Update Schemes -- Price-Based Information Certificates for Minimal-Revelation Combinatorial Auctions -- Co-evolutionary Auction Mechanism Design: A Preliminary Report -- ATTac-2001: A Learning, Autonomous Bidding Agent -- Negotiation -- A Software Infrastructure for Negotiation within Inter-organisational Alliances -- The Influence of Information on Negotiation Equilibrium -- Using an Annealing Mediator to Solve the Prisoners’ Dilemma in the Negotiation of Complex Contracts -- Automated Negotiation in Many-to-Many Markets for Imperfectly Substitutable Goods -- An Ontology Based Approach to Automated Negotiation -- Markets -- Goodwill Hunting: An Economically Efficient Online Feedback Mechanism for Environments with Variable Product Quality -- Guaranteeing Properties for E-commerce Systems -- An Extensible Agent Architecture for a Competitive Market-Based Allocation of Consumer Attention Space -- Self-Enforcing Strategic Demand Reduction -- Skeletal Jade Components for the Construction of Institutions -- Challenges in Large-Scale Open Agent Mediated Economies. |
| Record Nr. | UNINA-9910143891403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems [[electronic resource] ] : AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Bologna, Italy, July 16, 2002, Revised Papers / / edited by Julian Padget, Onn Shehory, David Parkes, Norman Sadeh, William E. Walsh
| Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems [[electronic resource] ] : AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Bologna, Italy, July 16, 2002, Revised Papers / / edited by Julian Padget, Onn Shehory, David Parkes, Norman Sadeh, William E. Walsh |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XVIII, 346 p.) |
| Disciplina | 658.8/4 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Business
Management science Artificial intelligence Computer communication systems Information storage and retrieval Computers and civilization Information technology Business—Data processing Business and Management, general Artificial Intelligence Computer Communication Networks Information Storage and Retrieval Computers and Society IT in Business |
| ISBN | 3-540-36378-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Auctions -- A Comparison among Bidding Algorithms for Multiple Auctions -- Bidtree Ordering in IDA Combinatorial Auction Winner-Determination with Side Constraints -- Differential-Revelation VCG Mechanisms for Combinatorial Auctions -- An English Auction Protocol for Multi-attribute Items -- Effectiveness of Preference Elicitation in Combinatorial Auctions -- Auctions for Divisible Resources: Price Functions, Nash Equilibrium, and Decentralized Update Schemes -- Price-Based Information Certificates for Minimal-Revelation Combinatorial Auctions -- Co-evolutionary Auction Mechanism Design: A Preliminary Report -- ATTac-2001: A Learning, Autonomous Bidding Agent -- Negotiation -- A Software Infrastructure for Negotiation within Inter-organisational Alliances -- The Influence of Information on Negotiation Equilibrium -- Using an Annealing Mediator to Solve the Prisoners’ Dilemma in the Negotiation of Complex Contracts -- Automated Negotiation in Many-to-Many Markets for Imperfectly Substitutable Goods -- An Ontology Based Approach to Automated Negotiation -- Markets -- Goodwill Hunting: An Economically Efficient Online Feedback Mechanism for Environments with Variable Product Quality -- Guaranteeing Properties for E-commerce Systems -- An Extensible Agent Architecture for a Competitive Market-Based Allocation of Consumer Attention Space -- Self-Enforcing Strategic Demand Reduction -- Skeletal Jade Components for the Construction of Institutions -- Challenges in Large-Scale Open Agent Mediated Economies. |
| Record Nr. | UNISA-996465511803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets [[electronic resource] ] : AMEC 2013, Saint Paul, MN, USA, May 6, 2013, TADA 2013, Bellevue, WA, USA, July 15, 2013, and AMEC and TADA 2014, Paris, France, May 5, 2014, Revised Selected Papers / / edited by Sofia Ceppi, Esther David, Vedran Podobnik, Valentin Robu, Onn Shehory, Sebastian Stein, Ioannis A. Vetsikas
| Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets [[electronic resource] ] : AMEC 2013, Saint Paul, MN, USA, May 6, 2013, TADA 2013, Bellevue, WA, USA, July 15, 2013, and AMEC and TADA 2014, Paris, France, May 5, 2014, Revised Selected Papers / / edited by Sofia Ceppi, Esther David, Vedran Podobnik, Valentin Robu, Onn Shehory, Sebastian Stein, Ioannis A. Vetsikas |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (IX, 171 p. 37 illus.) |
| Disciplina | 658.84 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
E-commerce
Information technology Business—Data processing Artificial intelligence Application software e-Commerce/e-business IT in Business Artificial Intelligence Computer Appl. in Administrative Data Processing Information Systems Applications (incl. Internet) |
| ISBN | 3-319-13218-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Analysis of Power Trading Agent Competition 2014 -- Towards Modeling Securities Markets as a Society of Heterogeneous Trading Agents -- A Market-Based Coordinated Negotiation for QoS-Aware Service Selection -- Optimal Agendas for Sequential Negotiations -- An Empirical Analysis of QuiBids’ Penny Auctions -- Analysis of Fairness and Incentives of Profit Sharing Schemes in Group Buying -- Distributed Prediction Markets Modeled by Weighted Bayesian Graphical Games -- A Successful Broker Agent for Power TAC -- Online Double Auction for Perishable Goods -- Designing Tariffs in a Competitive Energy Market Using Particle Swarm Optimization Techniques -- Classification Driven Detection of Opportunistic Bids in TAC SCM -- An Intelligent Learning Mechanism for Trading Strategies for Local Energy Distribution. |
| Record Nr. | UNINA-9910298967403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets [[electronic resource] ] : AMEC and TADA 2012, Valencia, Spain, June 4th, 2012, Revised Selected Papers / / edited by Esther David, Christopher Kiekintveld, Valentin Robu, Onn Shehory, Sebastian Stein
| Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets [[electronic resource] ] : AMEC and TADA 2012, Valencia, Spain, June 4th, 2012, Revised Selected Papers / / edited by Esther David, Christopher Kiekintveld, Valentin Robu, Onn Shehory, Sebastian Stein |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 161 p. 44 illus.) |
| Disciplina | 658.84 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
E-commerce
Information technology Business—Data processing Artificial intelligence Application software e-Commerce/e-business IT in Business Artificial Intelligence Computer Appl. in Administrative Data Processing Information Systems Applications (incl. Internet) |
| ISBN | 3-642-40864-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Social Networking and Information Diffusion in Automated Markets -- Policy Search through Adaptive Function Approximation for Bidding in TAC SCM -- Designing Robust Strategies for Continuous Trading in Contemporary Power Markets -- JACK: A Java Auction Configuration Kit -- A Decision Framework for Broker Selection in Smart Grids -- Prediction Market-Based Information Aggregation for Multi-sensor Information Processing -- Agent Adaptation across Non-ideal Markets and Societies -- Incentives in Multi-dimensional Auctions under Information Asymmetry for Costs and Qualities -- A Model-Free Approach for a TAC-AA Trading Agent -- Ad Exchange – Proposal for a New Trading Agent Competition Game -- Competing Intermediaries in Online Display Advertising. |
| Record Nr. | UNINA-9910437600803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets [[electronic resource] ] : AMEC 2011, Taipei, Taiwan, May 2, 2011, and TADA 2011, Barcelona, Spain, July 17, 2011, Revised Selected Papers / / edited by Esther David, Valentin Robu, Onn Shehory, Sebastian Stein, Andreas Symeonidis
| Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets [[electronic resource] ] : AMEC 2011, Taipei, Taiwan, May 2, 2011, and TADA 2011, Barcelona, Spain, July 17, 2011, Revised Selected Papers / / edited by Esther David, Valentin Robu, Onn Shehory, Sebastian Stein, Andreas Symeonidis |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 129 p. 36 illus.) |
| Disciplina | 658.84 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
E-commerce
Information technology Business—Data processing Artificial intelligence Application software e-Commerce/e-business IT in Business Artificial Intelligence Computer Appl. in Administrative Data Processing Information Systems Applications (incl. Internet) |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-34889-0 |
| Classificazione |
330
SS 4801 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Non–cooperative Bargaining with Arbitrary One–Sided Uncertainty -- An Adaptive Proportional Value-per-Click Agent for Bidding in Ad Auctions -- Improving Prediction in TAC SCM by Integrating Multivariate and Temporal Aspects via PLS Regression -- Agent Adaptation across Non-ideal Markets and Societies -- Testing Adaptive Expectations Models of a Continuous Double Auction Market against Empirical Facts -- Autonomously Revising Knowledge-Based Recommendations through Item and User Information -- A Bidding Agent for Advertisement Auctions: An Overview of the CrocodileAgent 2010 -- Dealing with Trust and Reputation in Unreliable Multi-agent Trading Environments -- Analysis of Stable Prices in Non-Decreasing Sponsored Search Auction -- Acceptance Strategies for Maximizing Agent Profits in Online Scheduling. |
| Record Nr. | UNINA-9910437577003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agent-Oriented Software Engineering [[electronic resource] ] : Reflections on Architectures, Methodologies, Languages, and Frameworks / / edited by Onn Shehory, Arnon Sturm
| Agent-Oriented Software Engineering [[electronic resource] ] : Reflections on Architectures, Methodologies, Languages, and Frameworks / / edited by Onn Shehory, Arnon Sturm |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (331 p.) |
| Disciplina |
004
004.6 005.1 006.3 |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Special purpose computers Software Engineering Artificial Intelligence Computer Communication Networks Special Purpose and Application-Based Systems |
| ISBN | 3-642-54432-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Brief Introduction to Agents -- Agent-Oriented Software Engineering – Revisiting the State-of-the-Art -- Application Impact of Multi-Agent Systems and Technologies: A Survey -- Multi-Agent Systems: A Software Architecture Viewpoint -- Design Patterns for Multi-Agent Systems: A Systematic Literature Review -- Agent Communication -- The Landscape of Agent-Oriented Methodologies -- Prometheus Research Directions -- O-MaSE: An Extensible Methodology for Multi-Agent Systems -- Ten Years of the INGENIAS Methodology -- A Survey of Multi-Agent Programming -- Languages and Frameworks -- GOAL: A Multi-Agent Programming Language Applied to an Exploration Game -- Unravelling Multi-Agent Oriented Programming -- The Evolution of MAS Tools -- Design and implementation of very large agent-based systems -- Agent Zero: A Framework for Simulating and Evaluating Multi-Agent Algorithms. |
| Record Nr. | UNINA-9910298969903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cooperative Information Agents VI [[electronic resource] ] : 6th International Workshop, CIA 2002, Madrid, Spain, September 18 - 20, 2002. Proceedings / / edited by Matthias Klusch, Sascha Ossowski, Onn Shehory
| Cooperative Information Agents VI [[electronic resource] ] : 6th International Workshop, CIA 2002, Madrid, Spain, September 18 - 20, 2002. Proceedings / / edited by Matthias Klusch, Sascha Ossowski, Onn Shehory |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 328 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer communication systems
Artificial intelligence Database management Information storage and retrieval Application software Information technology Business—Data processing Computer Communication Networks Artificial Intelligence Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) IT in Business |
| ISBN | 3-540-45741-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- Agents, Crawlers, and Web Retrieval -- Intelligent Interfaces for Information Agents: Systems, Experiences, Future Challenges -- Electronic Institutions: Future Trends and Challenges -- Making Peer Databases Interact — A Vision for an Architecture Supporting Data Coordination -- Information Agents for Mobile Computing Environments -- Tourists on the Move -- An Agent-based Approach for Helping Users of Hand-Held Devices to Browse Software Catalogs -- Large Scale Peer-to-Peer Experiments with Virtual Private Community (VPC) Framework -- Issues of Interaction and Negotiation -- A Cognitive Architecture for the Design of an Interaction Agent -- A Multi-agent Reflective Architecture for User Assistance and Its Application to E-commerce -- Curious Negotiator -- Measuring Behaviour-Based Trust between Negotiating Agents -- Information Gathering and Collaborative Filtering -- Acquiring an Optimal Amount of Information for Choosing from Alternatives -- A Competitive Information Recommendation System and Its Behavior -- Agents That Model and Learn User Interests for Dynamic Collaborative Filtering -- Opinion-Based Filtering through Trust -- Agent-Based Information and Knowledge Management -- Data Models and Languages for Agent-Based Textual Information Dissemination -- Integrating Distributed Information Sources with CARROT II -- Distributed Artificial Intelligence for Distributed Corporate Knowledge Management -- Integrating Information Gathering and Problem-Solving in Open Environments -- Supporting Virtual Organisations Using BDI Agents and Constraints -- Issues of Agent Communication and Cooperation -- An Approach to Agent Communication Based on Organisational Roles -- Exploiting Partially Shared Ontologies for Multi-agent Communication -- Evaluation of Distributed and Centralized Agent Location Mechanisms -- Exchanging and Combining Temporal Information in a Cooperative Environment -- Issues of Information Agent Mobility -- Programming Agent Mobility -- A Method for Protecting Mobile Agents against Denial of Service Attacks -- Threshold Route Optimization Algorithm for Information Retrieving Mobile Agents. |
| Record Nr. | UNINA-9910143894703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cooperative Information Agents VI [[electronic resource] ] : 6th International Workshop, CIA 2002, Madrid, Spain, September 18 - 20, 2002. Proceedings / / edited by Matthias Klusch, Sascha Ossowski, Onn Shehory
| Cooperative Information Agents VI [[electronic resource] ] : 6th International Workshop, CIA 2002, Madrid, Spain, September 18 - 20, 2002. Proceedings / / edited by Matthias Klusch, Sascha Ossowski, Onn Shehory |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 328 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer communication systems
Artificial intelligence Database management Information storage and retrieval Application software Information technology Business—Data processing Computer Communication Networks Artificial Intelligence Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) IT in Business |
| ISBN | 3-540-45741-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- Agents, Crawlers, and Web Retrieval -- Intelligent Interfaces for Information Agents: Systems, Experiences, Future Challenges -- Electronic Institutions: Future Trends and Challenges -- Making Peer Databases Interact — A Vision for an Architecture Supporting Data Coordination -- Information Agents for Mobile Computing Environments -- Tourists on the Move -- An Agent-based Approach for Helping Users of Hand-Held Devices to Browse Software Catalogs -- Large Scale Peer-to-Peer Experiments with Virtual Private Community (VPC) Framework -- Issues of Interaction and Negotiation -- A Cognitive Architecture for the Design of an Interaction Agent -- A Multi-agent Reflective Architecture for User Assistance and Its Application to E-commerce -- Curious Negotiator -- Measuring Behaviour-Based Trust between Negotiating Agents -- Information Gathering and Collaborative Filtering -- Acquiring an Optimal Amount of Information for Choosing from Alternatives -- A Competitive Information Recommendation System and Its Behavior -- Agents That Model and Learn User Interests for Dynamic Collaborative Filtering -- Opinion-Based Filtering through Trust -- Agent-Based Information and Knowledge Management -- Data Models and Languages for Agent-Based Textual Information Dissemination -- Integrating Distributed Information Sources with CARROT II -- Distributed Artificial Intelligence for Distributed Corporate Knowledge Management -- Integrating Information Gathering and Problem-Solving in Open Environments -- Supporting Virtual Organisations Using BDI Agents and Constraints -- Issues of Agent Communication and Cooperation -- An Approach to Agent Communication Based on Organisational Roles -- Exploiting Partially Shared Ontologies for Multi-agent Communication -- Evaluation of Distributed and Centralized Agent Location Mechanisms -- Exchanging and Combining Temporal Information in a Cooperative Environment -- Issues of Information Agent Mobility -- Programming Agent Mobility -- A Method for Protecting Mobile Agents against Denial of Service Attacks -- Threshold Route Optimization Algorithm for Information Retrieving Mobile Agents. |
| Record Nr. | UNISA-996465436203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Hardware and Software: Verification and Testing [[electronic resource] ] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / / edited by Kerstin Eder, João Lourenҫo, Onn Shehory
| Hardware and Software: Verification and Testing [[electronic resource] ] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / / edited by Kerstin Eder, João Lourenҫo, Onn Shehory |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XII, 263 p. 95 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Artificial intelligence Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Artificial Intelligence |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-34188-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preprocessing and Inprocessing Techniques in SAT -- Pioneering the Future of Verification: A Spiral of Technological and Business Innovation -- Automated Detection and Repair of Concurrency Bugs -- Verification Challenges of Workload Optimized Hardware Systems -- Synthesis with Clairvoyance -- Generalized Reactivity(1) Synthesis without a Monolithic Strategy -- IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata -- Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads.Implicative Simultaneous Satisfiability and Applications -- Liveness vs Safety – A Practical Viewpoint -- Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search -- SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs -- Concurrent Small Progress Measures -- Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns -- Interpolation-Based Function Summaries in Bounded Model Checking -- Can File Level Characteristics Help Identify System Level Fault-Proneness -- Reverse Coverage Analysis -- Symbolic Testing of OpenCL Code -- Dynamic Test Data Generation for Data Intensive Applications -- Injecting Floating-Point Testing Knowledge into Test Generators -- Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE -- HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware -- On-Line Detection and Prediction of Temporal Patterns -- Function Summaries in Software Upgrade Checking -- The Rabin Index of Parity Games -- Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing. -- ioneering the Future of Verification: A Spiral of Technological and Business Innovation -- Automated Detection and Repair of Concurrency Bugs -- Verification Challenges of Workload Optimized Hardware Systems -- Synthesis with Clairvoyance -- Generalized Reactivity(1) Synthesis without a Monolithic Strategy -- IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata -- Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads.Implicative Simultaneous Satisfiability and Applications -- Liveness vs Safety – A Practical Viewpoint -- Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search -- SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs -- Concurrent Small Progress Measures -- Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns -- Interpolation-Based Function Summaries in Bounded Model Checking -- Can File Level Characteristics Help Identify System Level Fault-Proneness -- Reverse Coverage Analysis -- Symbolic Testing of OpenCL Code -- Dynamic Test Data Generation for Data Intensive Applications -- Injecting Floating-Point Testing Knowledge into Test Generators -- Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE -- HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware -- On-Line Detection and Prediction of Temporal Patterns -- Function Summaries in Software Upgrade Checking -- The Rabin Index of Parity Games -- Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing. |
| Record Nr. | UNISA-996465300703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Multiagent System Technologies [[electronic resource] ] : 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings / / edited by Matthias Klusch, Rainer Unland, Onn Shehory, Alexander Pokahr, Sebastian Ahrndt
| Multiagent System Technologies [[electronic resource] ] : 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings / / edited by Matthias Klusch, Rainer Unland, Onn Shehory, Alexander Pokahr, Sebastian Ahrndt |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XII, 239 p. 77 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer simulation Application software Software engineering Algorithms Artificial Intelligence Simulation and Modeling Information Systems Applications (incl. Internet) Software Engineering Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-45889-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466268103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
