Modern software systems are becoming more complex in many ways and have to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle. Meer
AI 2001 is the 14th in the series of Arti cial Intelligence conferences sponsored by the Canadian Society for Computational Studies of Intelligence/Soci et e - nadienne pour l’ etude de l’intelligence par ordinateur. Meer
Initially, computer systems performance analyses were carried out primarily because of limited resources. Due to ever increasing functional complexity of computational systems and user requirements, performance engineering continues to play a major role in software development. Meer
nd Welcome to the proceedings of PERVASIVE 2004, the 2 International C- ference on Pervasive Computing and the premier forum for the presentation and appraisal of the most recent and most advanced research results in all - undational and applied areas of pervasive and ubiquitous computing. Meer
The 2nd International Conference on Information Security and Cryptology (ICISC)wassponsored bythe KoreaInstituteofInformationSecurityandCr- tology(KIISC). Meer
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. Meer
This book constitutes the thoroughly refereed post-conference
proceedings of the COST Action 2102 and euCognition supported international school on Multimodal Signals: 'Cognitive and Algorithmic Issues' held in Vietri sul Mare, Italy, in April 2008. Meer
Thisyear’svolumeofAdvancesinWebMiningandWebUsageAnalysiscontains thepostworkshopproceedingsofajointevent,the9thInternationalWorkshopon Knowledge Discovery from the Web (WEBKDD 2007) and the First SNA-KDD Workshop on Social Network Analysis (SNA-KDD 2007). Meer
The amounts of information that are ?ooding people both at the workplace and in private life have increased dramatically in the past ten years. The number of paper documents doubles every four years, and the amount of information stored on all data carriers every six years. Meer
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. Meer
This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Meer
The study of complementarity problems is now an interesting
mathematical subject with many applications in optimization,
game theory, stochastic optimal control, engineering,
economics etc. Meer
This book contains the proceedings of the 5th International Workshop on Product Family Engineering, PFE-5. This workshop was held in Siena, Italy, November 4–6, 2003. Meer
Sie möchten Ihre Internet-Präsenz ohne HTML- und Programmierkenntnisse verwalten? Alle Mitarbeiter sollen sich inhaltlich an Ihrem Internet-Auftritt beteiligen? Meer
Business processes are among today's hottest topics in the science and practice of information systems. Business processes and workflow management systems attract a lot of attention from R&D professionals in software engineering, information systems, business-oriented computer science, and management sciences. Meer
Component-based software engineering (CBSE) is concerned with the devel- ment of software-intensive systems from reusable parts (components), the dev- opmentofsuchreusableparts,andthemaintenanceandimprovementofsystems by means of component replacement and customization. Meer
Mobile and Wireless Communications Networks 2000 (MWCN2000) was the second conference in its series aimed at stimulating technical exchange in the emergingandimportantel dofMobileandWirelessCommunicationsNetworks. Meer
This volume contains the papers preesented at the Third
International Workshop on Conditional Term Rewriting
Systems, held in Pont- -Mousson, France, July 8-10, 1992. Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books