Welcome to our book review site www.go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Formal Approaches to Agent-Based Systems
The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (Code 588) was developing a prototype agent community to automate satellite ground operations. While developing this system, several race conditions arose within and between agents. Due to the complexity of the agents and the communications between them, it was decided that a formal approach was needed to specify the agents and the communications between them, so that the system could be checked for additional errors. A formal model of the inter-agent communications was developed, with the expectatio...
Intelligent Data Engineering and Automated Learning - IDEAL 2006
This book constitutes the refereed proceedings of the 7th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2006. The 170 revised full papers presented were carefully selected from 557 submissions. The papers are organized in topical sections on learning and information processing, data mining, retrieval and management, bioinformatics and bio-inspired models, agents and hybrid systems, financial engineering, as well as a special session on nature-inspired date technologies.
Advanced Parallel Processing Technologies
This book constitutes the refereed proceedings of the 6th International Workshop on Advanced Parallel Processing Technologies, APPT 2005, held in Hong Kong, China in September 2005. The 55 revised full papers presented were carefully reviewed and selected from over 220 submissions. All current aspects in parallel and distributed computing are addressed ranging from hardware and software issues to algorithmic aspects and advanced applications. The papers are organized in topical sections on architecture, algorithm and theory, system and software, grid computing, networking, and applied technologies.
Business Information Systems
This book contains the refereed proceedings of the 18th International Conference on Business Information Systems, BIS 2015, held in Poznań, Poland, in June 2015. The BIS conference series follows trends in academic and business research; thus, the theme of the BIS 2015 conference was “Making Big Data Smarter.” Big data is now a fairly mature concept, recognized and widely used by professionals in both research and industry. Together, they work on developing more adequate and efficient tools for data processing and analyzing, thus turning "big data" into "smart data." The 26 revised full papers were carefully reviewed and selected from 70 submissions. In addition, two invited papers are included in this book. They are grouped into sections on big and smart data, semantic technologies, content retrieval and filtering, business process management and mining, collaboration, enterprise architecture and business−IT alignment, specific BIS applications, and open data for BIS.
E-Commerce and Web Technologies
This book constitutes the refereed proceedings of the 7th International Conference on Electronic Commerce and Web Technologies, EC-Web 2006, held in conjunction with DEXA 2006. The book presents 24 revised full papers together with 1 invited talk, organized in topical sections on recommender systems, business process/design aspects, mobile commerce, security and e-payment, Web services computing/semantic Web, e-negotiation and agent mediated systems, and issues in Web advertising.
IEEE Joint International Conference on Requirements Engineering
This text contains information on software design and development as presented at the 10th Anniversary IEEE Joint International Requirements Engineering (RE 2002).
Mathematical Reviews
None
FTDCS 2001
Thirty-one papers from the November 2001 conference in Bologna address topics such as collaborative and cooperative software engineering, distributed multimedia computing, ubiquitous computing, Web-based computing, Intranet and Internet technologies, distributed agents, applications of distributed systems, Java-based network computing and ATM networks, network infrastructure, mobile computing, security and assurance, and distributed object computing. Author index only. c. Book News Inc.
