الصفحة 20
الصفحة 20
From Animals to Animats 10 ; 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, held in Osaka, Japan in July 2008.The 30 revised full papers and 21 revised poster papers presented were carefully reviewed and selected from 110 submissions. The papers are organized in topical sections on the animat approach to adaptive behaviour, evolution, navigation and internal world models, perception and control, learning and adaptation, cognition, emotion and behaviour, collective and social behaviours, adaptive behaviour in language and communication, and applied adaptive behaviour.
Freelancing platform = منصة للأعمال الحرة
The digital era has seen a significant rise in freelancing, providing a flexible and accessible employment model for professionals worldwide. This project introduces an advanced freelancing platform designed to enhance the interaction between freelancers and clients. By employing a microservices architecture, the platform ensures a seamless, efficient, and secure environment for managing project collaborations, communications, and payment processes. The platform supports three primary user roles: Administrators, Freelancers, and Users. Administrators oversee comprehensive system management, including user accounts, service categories, platform settings, and financial transactions. Freelancers can create detailed profiles showcasing their skills, experiences, and portfolios, and publish services with clear descriptions, pricing, and Service Level Agreements (SLAs). Users can post service requests, outlining project requirements and budgets, enabling freelancers to apply and engage in these projects.
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006 ; IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Foundations of software science and computation structures ; Vol. 3921 ; 9th International conference, FOSSACS 2006, Held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on mobile processes, software science, distributed computation, categorical models, real time and hybrid systems, process calculi, automata and logic, domains, lambda calculus, types, and security.
Foundations of software science and computation structures ; 25th International conference, FOSSACS 2022, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Foundations of software science and computation structures ; 24th International conference, FOSSACS 2021, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, proceedings
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
Foundations of software science and computation structures ; 23rd International conference, FOSSACS 2020, Held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
Foundations of Security Analysis and Design IV ; FOSAD 2006/2007 Turtorial Lectures
This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2006/2007, held in Bertinoro, Italy, in September 2006 and September 2007.
Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of - search groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security aspects. The “Int- national School on Foundations of Security Analysis and Design” (FOSAD, see http://www.sti.uniurb.it/events/fosad/)has been one of the foremost events - tablishedwiththegoalofdisseminatingknowledgeinthiscriticalarea,especially for young researchers approaching the ?eld and graduate students coming from less-favoured and non-leading countries. The FOSAD school is held annually at the Residential Centre of Bertinoro (http://www.ceub.it/), in the fascinating setting of a former convent and ep- copal fortress that has been transformed into a modern conference facility with computing services and Internet access. Since the ?rst school, in 2000, FOSAD hasattractedmorethan250participantsand50lecturersfromallovertheworld.
Foundations of Security : What Every Programmer Needs to Know
Foundations of Security: What Every Programmer Needs to Know teaches new and current software professionals state-of-the-art software security design principles, methodology, and concrete programming techniques they need to build secure software systems.
Foundations of Intelligent Systems ; Vol. 4203 ; 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings
This book constitutes the refereed proceedings of the 16th International Symposium on Methodologies for Intelligent Systems, ISMIS 2006. The book presents 81 revised papers together with 3 invited papers. Topical sections include active media human-computer interaction, computational intelligence, intelligent agent technology, intelligent information retrieval, intelligent information systems, knowledge representation and integration, knowledge discovery and data mining, logic for AI and logic programming, machine learning, text mining, and Web intelligence.
Foundations of Intelligent Systems ; Vol. 3488 ; 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings
This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ISMIS2005, heldinSaratogaSprings, NewYork,25-28May,2005. ThesymposiumwasorganizedbySUNYatAlbany. Itwas sponsored by the Army Research Of?ce and by several units of the University at Albany including its Division for Research, College of Arts and Sciences, Department of C- puter Science, and Institute for Informatics, Logics, and Security Studies (formerly the Institute for Programming and Logics). The Program Committee selected the following major areas for ISMIS 2005: intelligent information systems, knowledge discovery and data mining, knowledge - formation and integration, knowledge representation, logic for arti?cial intelligence, soft computing, Web intelligence, Web services, and papers dealing with applications of intelligent systems in complex/novel domains. The contributed papers were selected from almost 200 full draft papers by the Program Committee members.
Foundations of Intelligent Systems ; 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings
This book constitutes the refereed proceedings of the 17th International Symposium on Methodologies for Intelligent Systems, ISMIS 2008, held in Toronto, Canada, in May 2008.The 68 revised papers presented together with 3 plenary talks were carefully reviewed and selected from over 100 submissions. The papers are organized in topical sections on knowledge discovery and data mining: foundations, advances, mining changes and actional patterns; logic for artificial intelligence, autonomic and evolutionary computation, soft computing, databases and data warehouses, digital library, intelligent information retrieval.
Foundations of Computer Security
Foundations of Computer Security provides a succinct, yet authoritative introduction to the underlying theory, history, vocabulary, and concepts that drive this pivotal area of computer science. With its user-friendly approach and clarity of style, the text conveys—in simple terms—the core principles and developments underlying computer security in its many ramifications in the rapidly evolving computing arena. Following its opening framework laid out in a broad preface and introductory chapter, the book features chapters dedicated to a wide array of security-related subtopics: physical security, viruses and worms, malware and spyware, privacy and trust, and cryptography.
Foundations of 3D Graphics Programming : Using JOGL and Java3D ; 2nd ed.
This thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut to graphics theory and programming using JOGL, a new vehicle of 3D graphics programming in Java. This revised edition of the successful, reader-friendly text covers all graphics basics and several advanced topics, as well as some basic concepts in Java programming for those who currently are C/C++ programmers. Specifically, it provides all the core aspects of OpenGL programming in Java using JOGL, along with concisely presented computer graphics theories. In addition, it uses a top-down approach to lead the reader into programming and applications up-front. The content about theory provides a high-level understanding of all basic graphics, and of using JOGL instead of implementing a graphics system. Explanations are integrated with the sample programs, which are specifically designed for learning and accompanying this book.
Foundation Mathematics for Computer Science : A Visual Approach
In this second edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the original book and written new chapters on combinatorics, probability, modular arithmetic and complex numbers. These subjects complement the existing chapters on number systems, algebra, logic, trigonometry, coordinate systems, determinants, vectors, matrices, geometric matrix transforms, differential and integral calculus. During this journey, the author touches upon more esoteric topics such as quaternions, octonions, Grassmann algebra, Barrycentric coordinates, transfinite sets and prime numbers.
Foundation Flex for Developers : Data-Driven Applications with PHP, ASP.NET, ColdFusion, and LCDS
Flex is a very powerful and versatile technology for creating web application front-ends. But what every good web application needs is a robust data source, be it XML, or a database. Flex is very adaptable in terms of connecting to data sources, and that is the main focus of this book. In Foundation Flex for Developers, author Sas Jacobs assumes that you've got the basics of Flex down already, and explores in detail how to create professional data-centric Flex 2 and Flex 3 applications. In the first half of the book, she starts off with a brief exploration of Flex and ActionScript 3.0, before looking at application essentials in detail—creating custom components, user and web browser interactions, binding, formatting, and validating data, debugging, and more. In the second half of the book, the focus is on connecting Flex to data sources, and covers XML, LiveCycle Data Services, PHP, ASP.NET, and ColdFusion in detail, via a series of step-by-step case studies.
Foundation Flash CS3 Video
Video is one of the most exciting features on today's Internet, with widespread adoption being made possible by advances in bandwidth and software. But simply streaming video clips to Web users is only the tip of the iceberg! Flash CS3 offers a whole host of advanced video features, allowing you to create breathtaking user experiences. And this book, the second edition of the critically-acclaimed Foundation Flash 8 Video, shows you how to make the most of video in Flash CS3. The authors start with the basics of creating video ready for use on the web using popular applications such as Windows Movie Maker and iMovie, creating FLV (Flash video) using both Flash and other applications such as Sorenson Squeeze, and importing that video into Flash.
Formal Techniques for Networked and Distributed Systems - FORTE 2008 ; 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June 2008 co-located with TestCom/FATES 2008.The 19 revised full papers and 1 revised short paper presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover new approaches, concepts and experience in the application of formal methods for the specification and verification of distributed systems and applications.
Formal techniques for networked and distributed systems - FORTE 2005 ; 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988,a second series under the name FORTE was started. Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contributions have been reported in the conference series. The last ?ve me- ings of FORTE were held in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), and Madrid (Spain). The 25th FORTE was held from Sunday to Wednesday, October 2–5, 2005 on the beautiful campus of the National Taiwan University (NTU), Taipei, Taiwan, ROC.
