الصفحة 42
الصفحة 42
Engineering theories of software intensive systems : Theory, algorithms, software, and applications
Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.
Engineering societies in the agents world V : 5th international workshop, ESAW 2004, Toulouse, France, October 20-22, 2004 : revised selected and invited papers
The ?rst workshop “Engineering Societies in the Agents World” (ESAW) was held in August 2000, in conjunction with the 14th European Conference on Arti?cial Intelligence (ECAI 2000) in Berlin. It was launched by a group of - searchers who thought that the design and development of MASs (multi-agent systems) not only needed adequate theoretical foundations but also a call for new techniques, methodologies and infrastructures to develop MASs as arti?cial societies. The second ESAW was co-located with the European Agent Summer School (ACAI 2001) in Prague, and mostly focused on logics and languages, middleware, infrastructures and applications. In Madrid, the third ESAW c- centrated on models and methodologies and took place with the “Cooperative Information Agents” workshop (CIA 2002). The fourth ESAW in London was the ?rst one that ran as a stand-alone event: apart from the usual works on methodologies and models, it also stressed the issues of applications and m- tidisciplinary models. Based on the success of previous ESAWs, and also given that the di?cult challenges in the construction of arti?cial societies are not yet fully addressed, the ?fth ESAW workshop was organized in the same spirit as its predecessors.
Engineering self-organising systems Vol. 3910 ; 3rd International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
This book contains recent work from a broad range of areas with the common theme of utilising self-organisation productively. As distributed information infrastructures continue to spread (such as the Internet, wireless and mobile systems), new challenges have arisen demanding robust and scalable solutions. In these new challenging environments the - signers and engineers of global applications and services can seldom rely on centralised control or management, high reliability of devices, or secure en- ronments. At the other end of the scale, ad-hoc sensor networks and ubiquitous computing devices are making it possible to embed millions of smart computing agents into the local environment.
Engineering self-organising systems ; Vol. 3464 : Methodologies and applications
Self-organisation, self-regulation, self-repair, and self-maintenance are promising conceptual approaches to deal with the ever increasing complexity of distributed interacting software and information handling systems. Self-organising applications are able to dynamically change their functionality and structure without direct user intervention to respond to changes in requirements and the environment. This book comprises revised and extended papers presented at the International Workshop on Engineering Self-Organising Applications, ESOA 2004, held in New York, NY, USA in July 2004 at AAMAS as well as invited papers from leading researchers. The papers are organized in topical sections on state of the art, synthesis and design methods, self-assembly and robots, stigmergy and related topics, and industrial applications.
Engineering psychology and cognitive ergonomics ; 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings
This book address the latest research and development efforts and highlight the human aspects of design and use of computing systems. It cover the entire field of Human-Computer Interaction, addressing major - vances in knowledge and effective use of computers in a variety of application areas. This volume contains papers in the thematic area of En- neering Psychology and Cognitive Ergonomics, addressing the following major topics: Cognitive and Affective Issues in User Interface Design, Cognitive Workload and Human Performance, Cognitive Modeling and Measuring, Safety Critical Applications and Systems
Engineering Knowledge in the Age of the Semantic Web ; 15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 6-10, 2006, Proceedings
The 15th International Conference on Knowledge Engineering and Knowledge Management (2006), held on October 6-10, 2006 in Pod? ebrady,Czech Republic, followed a long tradition of European Knowledge Acquisition Workshops (from 1987),whicheventuallyacquiredtheformatofconference(in2000)whilekeeping their open-minded and interactive spirit. During the nearly 20 year lifespan of the series, the discipline of knowledge engineering (KE) evolved greatly. While knowledge acquisition (KA) techniques dominated in the very ?rst years, formal approaches to knowledge-based inf- ence and variousnew streamssuch as knowledgediscoveryfrom data/textslater cameinto play. During thelate1990sandafterwards,EKAWbecamea founding community for ontology and Semantic Web Research, which was also re?ected in the sub-titles of the 2002 and 2004 editions: “Ontologies and the Semantic Web” and “Engineering Knowledge in the Age of the Semantic Web,” resp- tively.
Engineering Interactive Systems ; EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers
This book constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction (EHCI 2007), the WG 13.2 First Conference on Human Centred Software Engineering (HCSE 2007), and the 14th Conference on Design Specification and Verification of Interactive Systems (DSV-IS 2007); jointly held as EIS 2007, the international event on Engineering Interactive Systems, in Salamanca, Spain, in March 2007 - under the auspices of IFIP.
Engineering Interactive Systems ; 2nd Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings
This book constitutes the combined proceedings of the second working conference on Human-Centred Software Engineering (HCSE 2008) and the 6th International Workshop on TAsk MOdels and DIAgrams (TAMODIA 2008); jointly held as EIS 2008, the international event on Engineering Interactive Systems, in Pisa, Italy, in September 2008.
Engineering human computer interaction and interactive systems ; Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989. The group’s activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, and are informed by each other’s results.
Engineering and Managing Software Requirements
This book provides an exploration of key issues in requirements engineering, the book is organized in three parts. Part 1 presents surveys of state-of-the art requirements engineering process research along with critical assessments of existing models, frameworks and techniques. Part 2 addresses key areas in requirements engineering, such as market-driven requirements engineering, goal modeling, requirements ambiguity, and others. Part 3 concludes the book with articles that present empirical evidence and experiences from practices in industrial projects. Its broader perspective gives this book its distinct appeal and makes it of interest to both researchers and practitioners, not only in software engineering but also in other disciplines such as business process engineering and management science.
Energy minimization methods in computer vision and pattern recognition ; 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005, Proceedings
Constitutes the refereed proceedings of the 5th International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR 2005, in St Augustine, FL, USA, in November 2005. This book consists of 24 papers and 18 poster papers organized in topical sections on different approaches.
Energy Efficient Servers : Blueprints for Data Center Optimization
The book includes a deep examination of different features used in processors, memory, interconnects, I/O devices, and other platform components. It outlines the power and performance impact of these features and the role firmware and software play in initialization and control. Using examples from cloud, HPC, and enterprise environments, the book demonstrates how various power management technologies are utilized across a range of server utilization. It teaches the reader how to monitor, analyze, and optimize their environment to best suit their needs. It shares optimization techniques used by data center administrators and system optimization experts at the world’s most advanced data centers.
End-User Development
By now, most people have become familiar with the basic functionality and interfaces of computers. However, developing new or modified applications that effectively support users' goals still requires considerable expertise in programming that cannot be expected from most people. Thus, one fundamental challenge for the coming years is to develop environments that allow users who do not have background in programming to develop or modify their own applications, with the ultimate aim of empowering people to flexibly employ advanced information and communication technologies.
EndNote 1 - 2 - 3 Easy! : Reference Management for the Professional
EndNote® 1-2-3 Easy!: Reference Management for the Professional is a valuable educational resource for biomedical and healthcare professionals, including researchers, physicians, students, information systems professionals, managers, teachers, librarians, and other professionals engaged in scientific manuscript writing. It offers a practical, "how to" manual providing easy-to-follow, step-by-step advice on using EndNote®, a popular reference management software package.
Encyclopedia of Multimedia
he Encyclopedia of Multimedia provides in-depth coverage of the important concepts, issues and technology trends in the field of multimedia technologies, systems, techniques, and applications. It is a comprehensive collection of entries that present perspectives and future trends in the field from hundreds of leading researchers and world experts in the field. These entries describe a number of topics in multimedia systems and applications – from multimedia servers, to multimedia databases and multimedia networks and communications, to emerging multimedia applications.
Encyclopedia of GIS "Geographical Information Sciences"
provides up-to-date information on emerging topics such as spatial big data, smart-phone GIS, urban computing and mobile recommender systems. It also expands the first edition’s rich set of GIS-related commercial and societal applications such as geo-targeting, geo-fencing and understanding climate changes, while enabling more comprehensive coverage of classical GIS topics such as map projections, global positioning systems and spatial cognition. The entries explain the key software, data sets and processes used by geographers and computational scientists. Additionally, the reference emphasizes the role of GIS in business and mobile intelligence. By offering more diversified GIS-related topics from theory and research than most of the other available literature, the authors equip newcomers to the field with principles as well as applications.
Encyclopedia of cryptography and security
An encyclopedia that contains information on various aspects of cryptography and security. It covers subject areas such as: authentication and identification; block ciphers and stream ciphers; computational issues; copy protection; cryptanalysis and security; cryptographic protocols; and, electronic payment and digital certificates.
Enabling things to talk : Designing IoT solutions with the IoT architectural reference model
The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. It will support an ecosystem of smart applications and services bringing hyper-connectivity to our society by using augmented and rich interfaces. Whereas in the beginning IoT referred to the advent of barcodes and Radio Frequency Identification (RFID), which helped to automate inventory, tracking and basic identification, today IoT is characterized by a dynamic trend toward connecting smart sensors, objects, devices, data and applications. The next step will be “cognitive IoT,” facilitating object and data re-use across application domains and leveraging hyper-connectivity, interoperability solutions and semantically enriched information distribution.
Enabling Technologies for Wireless E-Business
Kou and Yesha and their contributors provide comprehensive information on these technologies, including, for example, wireless security, mobile payment, location-based services, mobile data management, and RFID technologies. The presentation is targeted at students, lecturers, e-business developers, consultants, and business managers, and this book is an ideal introduction for both self-study and taught e-business classes or commercial training courses.
Empowering Teaching for Digital Equity and Agency ; IFIP TC 3 Open Conference on Computers in Education, OCCE 2020, Mumbai, India, January 6–8, 2020, Proceedings
This book constitutes the refereed post-conference proceedings of the IFIP TC 3 Open Conference on Computers in Education, OCCE 2020, held in Mumbai, India, in January 2020. The 11 full papers and 4 short papers included in this volume were carefully reviewed and selected from 57 submissions. The papers discuss key emerging topics and evolving practices in the area of educational computing research. They are organized in the following topical sections: computing education; learners’ and teachers’ perspectives; teacher professional development; the industry perspective; and further aspects.
