Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Business process modeling plays an important role in the management of business processes. As valuable design artifacts, business process models are subject to quality considerations. The absence of formal errors such as deadlocks is of paramount importance for the subsequent implementation of the process. In his book Jan Mendling develops a framework for the detection of formal errors in business process models and the prediction of error probability based on quality attributes of these models (metrics). He presents a precise description of Event-driven Process Chains (EPCs), their control-flow semantics and a suitable correctness criterion called EPC soundness.

Computer Science. --- Information Systems Applications (incl.Internet). --- Business Information Systems. --- Computer Appl. in Administrative Data Processing. --- Software Engineering. --- Computer science. --- Software engineering. --- Information systems. --- Management information systems. --- Informatique --- Génie logiciel --- Informatique de gestion --- Business. --- Business --- Management information systems --- Workflow --- Computer Science --- Marketing & Sales --- Commerce --- Engineering & Applied Sciences --- Business & Economics --- Data processing --- Mathematical models --- Management --- Information storage and retrieval systems --- Systèmes d'information --- Computer software --- Quality control --- Standards. --- Information technology. --- Application software. --- Information Systems Applications (incl. Internet). --- IT in Business. --- Data processing. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software engineering --- Engineering --- Electronic data processing --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Informatics --- Science --- Business—Data processing. --- Mathematical models. --- Management. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Trade --- Economics --- Industrial management --- Communication systems --- Business information services. --- Information technology --- Computer and Information Systems Applications. --- Computer Application in Administrative Data Processing. --- Business enterprises --- Information services

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This books contains the best papers of the 9th International Conference on Enterprise Information Systems, ICEIS 2007, held in Funchal, Madeira, Portugal, in June 2007. The 6 invited papers are presented together with 23 papers which were carefully reviewed and selected from 72 full papers accepted for presentation at the conference itself (out of 644 submissions). The topics covered are: databases and information systems integration; artificial intelligence and decision support systems; information systems analysis and specification; software agents and internet computing; and human-computer interaction.

Economics/Management Science. --- Business Information Systems. --- e-Commerce/e-business. --- Information Systems Applications (incl.Internet). --- Computer Appl. in Administrative Data Processing. --- Economics. --- Information systems. --- Management information systems. --- Economie politique --- Informatique de gestion --- Management information systems --Congresses. --- Management information systems --- Commerce --- Electrical & Computer Engineering --- Business & Economics --- Engineering & Applied Sciences --- Commerce - General --- Information Technology --- Information storage and retrieval systems --- Systèmes d'information --- Business. --- Information technology. --- Business --- Business mathematics. --- Computers. --- E-commerce. --- Computer engineering. --- Business and Management. --- Business Mathematics. --- Computer Engineering. --- Theory of Computation. --- IT in Business. --- Information Systems Applications (incl. Internet). --- Data processing. --- Computers --- Cybercommerce --- E-business --- E-commerce --- E-tailing --- eBusiness --- eCommerce --- Electronic business --- Internet commerce --- Internet retailing --- Online commerce --- Web retailing --- Information superhighway --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Arithmetic, Commercial --- Business arithmetic --- Business math --- Commercial arithmetic --- Finance --- Mathematics --- Electronic data processing --- IT (Information technology) --- Technology --- Telematics --- Knowledge management --- Trade --- Economics --- Management --- Industrial management --- Design and construction --- Information theory. --- Communication theory --- Communication --- Business—Data processing. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Agent-Mediated Electronic Commerce, AMEC IX, co-located with the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2007, held in Honolulu, Hawai, in May 2007, and the 5th Workshop on Trading Agent Design and Analysis, TADA 2007, co-located with the Twenty-Second AAAI Conference on Artificial Intelligence, AAAI 2007, held in Vancouver, Canada, in July 2007. This volume presents 15 carefully revised and selected papers from these workshops. The primary and complementary goal of both workshops was to continue to bring together novel work from diverse fields on modeling, implementation and evaluation of computational trading institutions and/or agent strategies. The papers originating from AMEC focus on a large variety of issues on auctions, negotiation, and strategic behavior in electronic marketplaces. The papers originating from TADA reflect the effort of the community to design scenarios where trading agent designers and market designers can be pitched against one another.

Computer Science. --- Electronic Commerce/e-business. --- Artificial Intelligence (incl. Robotics). --- Business Information Systems. --- Information Systems Applications (incl.Internet). --- Computers and Society. --- Special Purpose and Application-Based Systems. --- Computer science. --- Software engineering. --- Information systems. --- Artificial intelligence. --- Electronic commerce. --- Management information systems. --- Informatique --- Génie logiciel --- Intelligence artificielle --- Commerce électronique --- Informatique de gestion --- Computer software. --- Design analysis. --- Intelligent agents (Computer software). --- Electronic commerce --- Intelligent agents (Computer software) --- Commerce --- Business & Economics --- Marketing & Sales --- Information storage and retrieval systems --- Systèmes d'information --- Information technology. --- Business --- Computer communication systems. --- E-commerce. --- Computer engineering. --- Computer Communication Networks. --- e-Commerce/e-business. --- Computer Engineering. --- IT in Business. --- Information Systems Applications (incl. Internet). --- Data processing. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Informatics --- Science --- Computers --- Cybercommerce --- E-business --- E-commerce --- E-tailing --- eBusiness --- eCommerce --- Electronic business --- Internet commerce --- Internet retailing --- Online commerce --- Web retailing --- Distributed processing --- Design and construction --- Artificial Intelligence. --- Business—Data processing. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Agents, Autonomous (Computer software) --- Agents, Cognitive (Computer software) --- Agents, Intelligent (Computer software) --- Assistants, Cognitive (Computer software) --- Assistants, Intelligent software --- Autonomous agents (Computer software) --- Cognitive agents (Computer software) --- Cognitive assistants (Computer software) --- IAs (Computer software) --- Intelligent agent software --- Intelligent software agents --- Intelligent software assistants --- Software agents (Computer software) --- Special agents (Computer software) --- Artificial intelligence --- Computer programs