الصفحة 41
الصفحة 41
img

Certification and security in inter-organizational E-services ; IFIP 18th World Computer Congress, August 22-27, 2004, Toulouse, France

This collection of papers offers real-life application experiences, research results and methodological proposals of direct interest to systems experts and users in governmental, industrial and academic communities. This book also documents several important developments. The uptake of distributed computational infrastructure oriented to service provision, like Web-Services and Grid, is making C&S even more important. E-services based on legacy systems managed by autonomous and independent organizations, a common situation in the public administration sector, increase overall complexity. The increased presence and use of e-service IT-infrastructures depends on the critical ability required for all security issues, from the basic (availability, authentication, integrity, confidentiality) to the more complex (e.g. authorization, non-repudiation).

img

Central European Functional Programming School ; 1st Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures

This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the first Central European Functional Programming School, CEFP 2005, held in Budapest, Hungary, in July 2005. The eight revised full papers presented were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The lectures cover a wide range of topics such as new programming language concepts for subtyping.

img

Cellular Automata and Discrete Complex Systems ; 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings

This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2020, held in Stockholm, Sweden, in August 2020. The workshop was held virtually. The 11 full papers presented in this book were carefully reviewed and selected from a total of 21 submissions. The topics of the conference include dynamical, topological, ergodic and algebraic aspects of CA and DCS, algorithmic and complexity issues, emergent properties, formal languages, symbolic dynamics, tilings, models of parallelism and distributed systems, timing schemes, synchronous versus asynchronous models, phenomenological descriptions, scientific modeling, and practical applications.

img

Categories for software engineering

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity – a language for the architectural design of interactive systems. "For computer scientists, this unique book presents Category Theory in a manner tailored to their interests and with examples to which they can relate." Ira Forman, IBM "This book applies little-known yet quite powerful formal tools from category theory to software structures: designs, architectures, patterns, and styles. Rather than focus on issues at the level of computational models and semantics, it instead applies these tools to some of the problems facing the sophisticated software architect.

img

Cartoony story app = تطبيق قصة كارتونية

The translation of textual narratives into immersive visual representations poses a significant challenge in the field of artificial intelligence. Traditional cartoon generation techniques face formidable technical challenges and require substantial resources. Research efforts towards direct video synthesis from text have encountered obstacles in developing efficient techniques. In parallel, researchers propose an alternative approach involving the generation of dynamic sequences of images portraying children's story narratives. This approach includes applying various visual effects to highlight motion, interaction, and excitement in storytelling. By dynamically generating a sequence of images reflecting the narrative's progression and applying diverse visual effects, this alternative method offers a flexible and practical solution to cartoon generation challenges, providing an efficient and effective experience akin to video while retaining the magical appeal of visual storytelling. ...

img

C++ for Engineers and Scientists

Introduce the power and practicality of C++ programming to entry-level engineers with Bronson's C++ FOR ENGINEERS AND SCIENTISTS, 4E. This proven, pragmatic text is designed specifically for today's first- and second-year engineering and science students with a wealth of new applications and examples taken from real situations involving electrical and structural engineering, fluid mechanics, mathematics, power generation, and heat transfer challenges.

img

C# 10 Quick Syntax Reference : A Pocket Guide to the Language, APIs, and Library

Reviews the essential C# 10 and earlier syntax, not previously covered, in a well-organized format that can be used as a handy reference. Specifically, unions, generic attributes, CallerArgumentExpression, params span, Records, Init only setters, Top-level statements, Pattern matching enhancements, Native sized integers, Function pointers and more. You will: Employ nullable reference types / Work with ranges and indices / Apply recursive patterns to your applications / Use switch expressions

img

C# 10 in a Nutshell : The Definitive Reference

When you have questions about C# 10.0 or .NET 6, this guide has the answers you need. C# is a language of unusual flexibility and breadth, but with its continual growth, there's so much more to learn. In the tradition of O'Reilly's Nutshell guides, this thoroughly updated edition is simply the best one-volume reference to the C# language available today. Organized around concepts and use cases, this comprehensive and complete reference provides intermediate and advanced programmers with a concise map of C# and .NET that also plumbs significant depths

img

Business process management Workshops ; BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of 6 internationl workshops held in Brisbane, Australia, in conjunction with the 5th International Conference on Business Process Management, BPM 2007, in September 2007.

img

Business process management ; Vol. 4102 : 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Business Process Management, BPM 2006. The book presents 20 revised full papers, 5 industrial papers, and 15 short papers together with an invited paper and the abstract of an invited talk. The papers are organized in topical sections on monitoring and mining, service composition, process models and languages, dynamic process management, Web service composition, and applied business process management.

img

Business process management : Concepts, languages, architectures

Business process management is usually treated from two different perspectives: business administration and computer science. While business administration professionals tend to consider information technology as a subordinate aspect for experts to handle, by contrast computer scientists often consider business goals and organizational regulations as terms that do not deserve much thought but require the appropriate level of abstraction.This textbook is ideally suited for classes on business process management, information systems architecture, and workflow management. It is also valuable for project managers and IT professionals working in business process management.

img

Business modeling and software design ; 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings

This book constitutes the refereed proceedings of the 10th International Symposium on Business Modeling and Software Design, BMSD 2020, which took place in Berlin, Germany, in July 2020. BMSD is a leading international forum that brings together researchers and practitioners interested in business modeling and its relation to software design. Particular areas of interest are: Business Processes and Enterprise Engineering; Business Models and Requirements; Business Models and Services; Business Models and Software; Information Systems Architectures and Paradigms; Data Aspects in Business Modeling and Software Development; Blockchain-Based Business Models and Information Systems; IoT and Implications for Enterprise Information Systems.

img

Business agility and information technology diffusion ; IFIP TC8 WG 8.6 International working Conference, May 8-11, 2005, Atlanta, Georgia, USA

Addresses issues related to business agility and the diffusion of Information Technology (IT). Success, even survival, in today's business environment has been made complex and difficult by technologically-based competitive pressure. One promising strategy is to be agile and ready to adapt quickly to changes in the environment or market. Such strategy takes shape as an agile software development, agile manufacturing, agile modeling and agile iterations. In contrast, successful IT diffusion is known to be a process that takes time and careful effort. Many IT projects that succeeded in developing a product have subsequently failed in changing the behavior of the target group when diffusion just didn't happen. Therefore this volume responds to the question: What is the relationship between agility and IT diffusion? The book's scope will cover information systems and technology issues, as well as organizational and managerial issues, related to agility and IT diffusion. The planned perspectives include topics such as diffusion of agile methods, enabling business agility with IT, creating agile environments that facilitate diffusion of IT, theories and frameworks for understanding diffusion and agility issues, best practices relating to business agility and IT diffusion, software process improvement and agility, diffusion studies of specific agile technologies, and impacts of diffusion of IT agile methods.

img

Building XNA 2.0 Games : A Practical Guide for Independent Game Development

Building XNA 2.0 Games: A Practical Guide for Independent Game Development is written by James Silva, who recently won the prestigious Microsoft Dream Build Play game competition with his award–winning game, The Dishwasher: Dead Samurai. Building XNA 2.0 Games: A Practical Guide for Independent Game Development is an in–depth and exclusive look into the entire XNA game development process and includes the creation of a software game masterpiece. James Silva guides you through the process he took to build his award–winning title, from concept to reality. He reveals tips and techniques for creating a polished, high–quality game with very few resources, while bridging the gap between coding and art.

img

Building the Infrastructure for Cloud Security : A Solutions view

For cloud users and providers alike, security is an everyday concern, yet there are very few books covering cloud security as a main subject. This book will help address this information gap from an Information Technology solution and usage-centric view of cloud infrastructure security. The book highlights the fundamental technology components necessary to build and enable trusted clouds. Here also is an explanation of the security and compliance challenges organizations face as they migrate mission-critical applications to the cloud, and how trusted clouds, that have their integrity rooted in hardware, can address these challenges.

img

Building Spring 2 Enterprise Applications

This book covers the first steps of using Spring while discussing the relevant technologies that Spring can be integrated with, what to be aware of, and how working with Spring makes them easier to use. Focuses on the most useful features of Spring, including persistence and transaction management as well as the complete Spring web tools portfolio. Introduces three-tier application design and how to test these designs.

img

Building Online Communities with Drupal, phpBB, and WordPress

Content management, blogs, and online forums are among the most significant online trends today, and Drupal, phpBB, and WordPress are three of the most popular open source applications facilitating these trends. Drupal is a full content management system that allows you to create any type of website you desire, from an e-commerce to a community-based site. phpBB enables you to set up a bulletin board or forum. And WordPress is the software of choice for the exploding blog community. All three technologies are based on PHP and MySQL.

img

Building better interfaces for remote sutonomous systems : An introduction for systems engineers

This book provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings.

img

Building an Enterprise Architecture Practice : Tools, Tips, Best Practices, Ready-to-Use Insights

This book clearly describes how to establish an architecture practice that delivers value for an organization. The authors demonstrate a wealth of experience and a deep understanding of the multifaceted nature of this challenging task and they provide sound advice on how to avoid the many pitfalls that may be encountered along the way. Building an Enterprise Architecture Practice provides practical advice on how to develop your enterprise architecture practice.

img

Building an automated exam system

The project aims to build an automated exam for various exams, fields and institutions, and we have adopted in our project the National Exam for Informatics Engineering. The system builds an automatic exam that facilitates the conduct of exams and their correction automatically. The flutter application was developed to provide a user interface for students and a web page to control the system for teachers and Admins. Laravel will be used as the application programming interface (API) to manage the data and functions of the system. The system builds an automated exam for various specializations to make it easier for students to test their information and their readiness to take the official exam.

عدد النتائج بكل صفحة