الصفحة 23
الصفحة 23
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 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 Multi-Agent Systems ; 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering Multi-Agent Systems, EMAS 2019, held in Montreal, QC, Canada, in May 2019. The 13 revised full papers presented in this book were carefully selected and reviewed from 20 submissions. The papers are grouped in the following topical sections: Multi-Agent Interaction and Organization; Simulation; Social Awareness and Explainability; Learning and Reconfiguration; and Implementation Techniques and Tools.
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 ; 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 ; 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007, Proceedings
Contains critical issues of representation, learning, and inference. Important new themes include pr- abilistic grammars, image parsing, and the use of datasets with ground-truth to act as benchmarks for evaluating algorithms and as a way to train learning algorithms. Other themes include the development of efficient inference algorithms using advanced techniques from statistics, computer science, and applied mathematics. This book makes no distinction between oral and poster papers. It also contiants sections on al- rithms, applications, image parsing, image processing, motion, shape, and thr- dimensional processing.
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.
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.
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 Semantic Web Services : The Web Service Modeling Ontology
Service-oriented computing has become one of the predominant factors in current IT research and development. Web services seem to be the middleware solution of the future for highly interoperable distributed software solutions. In parallel, research on the Semantic Web provides the results required to exploit distributed machine-processable data. To combine these two research lines into industrial-strength applications, a number of research projects have been set up by organizations like W3C and the EU. After a brief presentation of the underlying basic technologies and standards of the World Wide Web, the Semantic Web, and Web Services, they detail all the elements of WSMO from basic concepts to possible applications in e-commerce, e-government and e-banking, and they also describe its relation to other approaches like OWL-S or WSDL-S.
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.
Emerging solutions for future manufacturing Systems ; IFIP TC 5 / WG 5.5. Sixth IFIP International conference on information technology for balanced automation systems in manufacturing and services, 27-29 September 2004, Vienna, Austria
This book includes the papers selected for the BASYS’04 conference, which was held in Vienna, Austria in September 2004 and sponsored by the International Federation for Information Processing (IFIP).
Emerging optical network technologies : Architectures, protocols and performance
This book addresses many of these issues and presents a birds eye view of some of the more promising technologies. Researchers and those pursuing advanced degrees in this field will be able to see where progress is being made and new technologies are emerging.
Emerging Location Aware Broadband Wireless Ad Hoc Networks
The authors present new results on issues involving wireless LANs and ad hoc networks; mobile wireless internet and satellite applications; encoding, algorithms and performance; and issues related to overlay networks, cross layer interactions and smart antennas. Whether you’re a telecommunications/networking specialist, systems engineer or a scientist, Emerging Location Aware Broadband Wireless Ad Hoc Networks provides valuable insight from experts in wireless networking for developing wireless systems and meeting future application requirements.
Emerging Directions in Embedded and Ubiquitous Computing ; EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 1-4, 2007, Proceedings
This volume contains discuss and exchange state-of-the-art research results and experience, case studies and on-going research activities in the areas of embedded and ubiquitous computing, networking and communications.
