Page 1
Page 1
Modern operating system
incorporates the latest developments and technologies in operating systems (OS) technologies. Author Andy Tanenbaum's clear and entertaining writing style outlines the concepts every OS designer needs to master. In-depth topic coverage includes processes, threads, memory management, file systems, I/O, deadlocks, interface design, multimedia, performance tradeoffs, and trends in OS design. Case studies explore popular OS and provide real-world context. Tanenbaum also provides information on current research based on his expe
Intelligence and Security Informatics ; Vol. 3917 ; International Workshop, WISI 2006, Singapore, April 9, 2006, Proceedings
Intelligence and security informatics (ISI) can be broadly defined as the study of the development and use of advanced information technologies and systems for national and international security-related applications. The First and Second Symposiums on ISI were held in Tucson, Arizona, in 2003 and 2004, respectively. In 2005, the IEEE International Conference on ISI was held in Atlanta, Georgia. These ISI conferences brought together academic researchers, law enforcement and intelligence experts, information technology consultants and practitioners to discuss their research and practice related to various ISI topics including ISI data management, data and text mining for ISI applications, terrorism informatics, deception detection, terrorist and criminal social network analysis, crime analysis, monitoring and surveillance, policy studies and evaluation, and information assurance, among others. We continued these stream of ISI conferences by organizing the Workshop on Intelligence and Security Informatics (WISI 2006) in conjunction with the Pacific Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2006).
Intelligence and security informatics ; Vol. 3495 : IEEE International Conference on Intelligence and Security Informatics, ISI 2005, Atlanta, GA, USA, May 19-20, 2005, Proceedings
Intelligence and security informatics (ISI) can be broadly defined as the study of the development and use of advanced information technologies and systems for national and international security-related applications, through an integrated technological, organizational, and policy-based approach. In the past few years, ISI research has experienced tremendous growth and attracted substantial interest from academic researchers in related fields as well as practitioners from both government agencies and industry. The first two meetings (ISI 2003 and ISI 2004) in the ISI symposium and conference series were held in Tucson, Arizona, in 2003 and 2004, respectively. They provided a stimulating intellectual forum for discussion among previously disparate communities: academic researchers in information technologies, computer science, public policy, and social studies; local, state, and federal law enforcement and intelligence experts; and information technology industry consultants and practitioners.
Intelleger = انتليجر
The project management system is a web application designed to assist software managers in efficiently managing their projects, including websites, mobile apps, and other software initiatives. Utilizing artificial intelligence, the application streamlines project creation and management processes, offering significant benefits in terms of organization and accuracy. Managers can create projects by inputting essential details such as the name, scope, deadline, and tasks. The system generates AI-based functional and non-functional requirements tailored to the project scope using gpt2 model on Pure dataset. Managers can then review and edit these requirements as needed before finalizing the project. The application facilitates comprehensive task management by allowing managers to assign tasks to developers, edit task details, and ensure task deadlines align with project deadlines. Developers can log their start and end times automatically when they begin and complete tasks, providing accurate time tracking and performance analysis.also they can use code generation model to generate their task’s code using codebert model on concode and codesearchnet dataset Real-time notifications keep both managers and developers informed of task assignments, completions, and other critical updates.
Handbook of big data analytics ; Vol.2 : Applications in ICT, security and business analytics
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, trends and user and customer preferences, to allow organizations and businesses to make more informed decisions. These methods and technologies have become ubiquitous in all fields of science, engineering, business and management due to the rise of data-driven models as well as data engineering developments using parallel and distributed computational analytics frameworks, data and algorithm parallelization, and GPGPU programming. However, there remain potential issues that need to be addressed to enable big data processing and analytics in real time.
Handbook of big data analytics ; Vol.1 : Methodologies
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, trends and user and customer preferences, to allow organizations and businesses to make more informed decisions. These methods and technologies have become ubiquitous in all fields of science, engineering, business and management due to the rise of data-driven models as well as data engineering developments using parallel and distributed computational analytics frameworks, data and algorithm parallelization, and GPGPU programming. However, there remain potential issues that need to be addressed to enable big data processing and analytics in real time. This volume presents several methodologies to support Big Data analytics including database management, processing frameworks and architectures, data lakes, query optimization strategies, towards real-time data processing, data stream analytics, Fog and Edge computing, and Artificial Intelligence and Big Data.
Graph-theoretic concepts in computer science ; 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers
This book constitutes the revised papers of the 46th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2020, held in Leeds, UK, in June 2020. The workshop was held virtually due to the COVID-19 pandemic. The 32 full papers presented in this volume were carefully reviewed and selected from 94 submissions. They cover a wide range of areas, aiming to present emerging research results and to identify and explore directions of future research of concepts on graph theory and how they can be applied to various areas in computer science.
Functional Verification of Programmable Embedded Architectures : A Top-Down Approach
This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the system architect’s knowledge about the behavior of the design through architecture specification using an Architecture Description Language (ADL). The authors also address two fundamental challenges in functional verification: lack of a golden reference model, and lack of a comprehensive functional coverage metric.
Functional and logic programming ; 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006. The 17 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI.
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering.
Ethical and Social Issues in the Information Age
This book takes off where the second ended to examine ethical, social, and policy challenges stemming from the emergence of cyberspace, the convergence of telecommunication and computing technologies, and the miniaturalization of computing, telecommunication, and information-enabling devices. This accessible volume broadly surveys thought-provoking questions about the impact of these new technologies, with particular emphasis on the rapid growth of a multitude of computer networks, including the Internet. It assumes only a very modest familiarity with the basic computer literacy.
Embedded systems design : The ARTIST roadmap for research and development
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc. The extensive and increasing use of embedded systems and their integration in everyday products marks a significant evolution in information science and technology. We expect that within a short timeframe embedded systems will be a part of nearly all equipment designed or manufactured in Europe, the USA, and Asia. There is now a strategic shift in emphasis for embedded systems designers: from simply achieving feasibility, to achieving optimality. Optimal design of embedded systems means targeting a given market segment at the lowest cost and delivery time possible. Optimality implies seamless integration with the physical and electronic environment while respecting real-world constraints such as hard deadlines, reliability, availability, robustness, power consumption, and cost. In our view, optimality can only be achieved through the emergence of embedded systems as a discipline in its own right.
Early Aspects: Current Challenges and Future Directions ; 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: aspects are identified and captured mainly in code. Therefore, most current AOSD approaches place the burden for aspect identification and management on the programmer working at low levels of abstraction. However, aspects are often present well before the implementation phase, such as in domain models, requirements and software architecture. Identification and capture of these early aspects ensure that aspects related to the problem domain (as opposed to merely the implementation) will be appropriately captured, reasoned about and available. This offers improved opportunities for early recognition and negotiation of trade-offs and allows forward and backward aspect traceability. This makes requirements, architecture, and implementation more seamless, and allows a more systematic application of aspects.
Digital Libraries : Universal and Ubiquitous Access to Information ; 11th International Conference on Asian Digital Libraries, ICADL 2008, Bali, Indonesia, December 2-5, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Asian Digital Libraries, ICADL 2008, held in Bali, Indonesia, in December 2008.
Digital Libraries : International Collaboration and Cross-Fertilization; 7th International Conference on Asian Digital Libraries, ICADL 2004, Shanghai, China, December 13-17, 2004, Proceedings
The International Conference on Asian Digital Libraries (ICADL) is an annual international forum that provides opportunities for librarians, researchers and experts to exchange their research results, innovative ideas, service experiences and state-- the-art developments in the field of digital libraries. Building on the success of the first six ICADL conferences, the 7th ICADL conference hosted by the Shanghai Jiao Tong University and the Shanghai Library in Shanghai, China aimed to further strengthen the academic collaboration and strategic alliance in the Asia- Pacific Region in the development of digital libraries.
Digital libraries : Implementing strategies and sharing experiences ; 8th International Conference on Asian digital libraries, ICADL 2005, Bangkok, Thailand, December 12-15, 2005, Proceedings
Constitutes the proceedings of the 8th International Conference on Asian Digital Libraries, ICADL 2005. This book is organized in topical sections on concepts and models for digital library systems, case studies in digital libraries, digital archives and museums, multimedia digital libraries, digital libraries for community building, and more
Digital Libraries : Achievements, Challenges and Opportunities ; 9th International Conference on Asian Digial Libraries, ICADL 2006, Kyoto, Japan, November 27-30, 2006, Proceedings
The primary mission of ICADL, like the Joint Conference on Digital Libraries (JCDL) and European Conference on Digital Libraries (ECDL), is to serve as a forum for exchange of new advanced te- nologies and ideas among researchers and practitioners. In addition, ICADL as a conference based in Asia is an important event not only for people in dev- oped countries but also in developing countries where there is large diversity in culture, language and development. ICADL 2006received170papersubmissionsfrom23countries.Everysubm- sion was reviewed by at least three reviewers. The Program Committee selected 46 full papers and 14 short papers based on the quality and contribution to digital library research.
Cloud Computing, Smart Grid and Innovative Frontiers in Telecommunications ; 9th EAI International Conference, CloudComp 2019, and 4th EAI International Conference, SmartGIFT 2019, Beijing, China, December 4-5, 2019, and December 21-22, 2019
Constitutes the refereed proceedings of the 9thInternational Conference on Cloud Computing, CloudComp 2019, and the 4th International Conference on Smart Grid and Innovative Frontiers in Telecommunications, SmartGIFT 2019, both held in Beijing, China, in December 2019. The55 full papers of both conferences were selected from 113 submissions. CloudComp 2019 presents recent advances and experiences in clouds, cloud computing and related ecosystems and business support. The papers are grouped thematically in tracks on cloud architecture and scheduling; cloud-based data analytics; cloud applications; and cloud security and privacy. SmartGIFT 2019 focus on all aspects of smart grids and telecommunications, broadly understood as the renewable generation and distributed energy resources integration, computational intelligence applications, information and communication technologies.
Managing Virtualization of Networks and Services ; 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, San José, CA, USA, October 29-31, 2007, Proceedings
This volume of the Lecture Notes in Computer Science series contains all papers th accepted for presentation at the 18 IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2007), which was held in the heart of Silicon Valley, San Jose, California, USA, on October 29–31, 2007.
Biofuels
In line with the current focus on a sustainable economy, bioethanol and other biofuels have received tremendous attention, making many headlines. Being produced in steadily growing volumes has made it necessary to consider production of biofuels from renewable raw materials that are not currently used. Therefore, the production of biofuels is at the gateway of moving from traditional raw materials to others such as lignocellulosic materials. However, sucha transfer requires new production processes that are economically feasible.This volume addresses and discusses the current status of biofuels, covering aspects from enabling technologies to different technology and processes options, as well as economical and policy perspectives.
