Page 1
Page 1
Nonlinear Integer Programming
It is not an exaggeration that much of what people devote in their hfe re solves around optimization in one way or another. On one hand, many decision making problems in real applications naturally result in optimization problems in a form of integer programming. On the other hand, integer programming has been one of the great challenges for the optimization research community for many years, due to its computational difficulties: Exponential growth in its computational complexity with respect to the problem dimension. This book addresses the topic of the general nonlinear integer programming (NLIP). The overall goal of the book is to bring the state of the art of the theoretical foundations and solution methods of NLIP to readers who are interested in optimization, operations research and computer science. This book investigates the theory and solution methodologies for the general NLIP and provides the developments
New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design ; IFIP International Working Conference: EduTech 2005, Perth, Australia, October 20-21, 2005
Computation and communication technologies underpin work and development in many different areas. Among them, Computer-Aided Design of electronic systems and E-Learning technologies are two areas which are different but share many concerns. The design of CAD and E-Learning systems already touches on a number of parallels, such as system interoperability, user interfaces, standardization, EML-based formats, reusability aspects (of content or designs), and intellectual property rights. Furthermore, the teaching of Design Automation tools and methods is particularly amenable to a distant or blended learning setting, and implies the interconnection of typical CAD tools, such as simulators or synthesis tools, with e-learning tools. There are many other aspects in which synergy can be found when using E-Learning technology for teaching and learning technology. This workshop, sponsored by IFIP WG 10.5 Design and Engineering of Electronic Systems in cooperation with IFIP WG 3.6 Distance Education, will explore the interrelationship between these two subjects, where Computer-Aided Design meets Computer-Aided Learning. New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design documents recent approaches and results presented at the EduTech 2005 Workshop, which was held in October 2005 in Perth, Australia and sponsored by the International Federation for Information Processing (IFIP). The topics chosen for this working conference are very timely: learning environments, tools and applications for education, education technologies and trends, and teaching in the hardware design area.
Network-Centric Collaboration and Supporting Frameworks ; IFIP TC 5 WG 5.5, Seventh IFIP Working Conference on Virtual Enterprises, 25-27 September 2006, Helsinki, Finland
This book contains a number of selected articles from PRO-VE’06, the seventh working conference on virtual enterprises held in Helsinki, Finland, which was sponsored by the International Federation for Information Processing (IFIP) and the Society of Collaborative Networks (SOCOLNET). Being recognized as the most focused scientific and technical conference on Collaborative Networks, PRO-VE continues offering the opportunity for presentation and discussion of both the latest research developments as well as the practical application case studies. Following the vision of IFIP and SOCOLNET, the PRO-VE conference offers a forum for collaboration and knowledge exchange among experts from different regions of the world.
Mobile Information Systems II ; IFIP Working Conference on Mobile Information Systems, MOBIS 2005, Leeds, UK, December 6-7, 2005
Contains the proceedings of the second IFIP TC8 Working Conference on Mobile Information Systems which was held in December 2005 in Leeds, UK and sponsored by the International Federation of Information Processing (IFIP). Mobile Information Systems II aims to: · Clarify differences and similarities between the development of mobile and more traditional information systems. · Investigate the organizational impact of mobile information systems. · Investigate the 'e to m shift' , for example in m-Commerce relative to e-Commerce. · Investigate mobile commerce applications combined with the advantages of mobile communications technologies, the drivers of which have been identified as ubiquity, accessibility, security, convenience, localization, instant connectivity, and personalization. · Evaluate existing and newly developed approaches for the analysis, design, implementation, and evolution of mobile information systems. · Investigate technical issues and the constraints they impose on mobile information systems functionalities and design.
Mobile Information Systems ; Vol. 158 : IFIP TC 8 Working Conference on Mobile Information Systems (MOBIS) 15-17 September 2004, Oslo, Norway
This book contains the proceedings of the IFIP TC8 Working Conference on Mobile Information Systems, which was held in September 2004 in Oslo, Norway and sponsored by the International Federation for Information Processing (IFIP). Mobile Information Systems aims to: Clarify differences and similarities between the development of mobile vs. more traditional information system. Investigate the organizational impact of mobile information systems Investigate mCommerce relative to eCommerce Investigate mobile commerce applications combined with the advantages of mobile communications technologies, the drivers of which have been identified as ubiquity, reachability, security, convenience, localization, instant connectivity and personalization. Evaluate existing and newly developed approaches for analysis, design, implementation, and evolution of mobile information systems. Investigate technical issues and the constraints they pose on mobile information systems functionalities and design
IP operations and management ; 8th IEEE International workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008. Proceedings
Constitutes the refereed proceedings of the 8th IEEE Workshop on IP Operations and Management, IPOM 2008, held on Samos Island, Greece, on September 22-26, 2008, as part of the 4th International Week on Management of Networks and Services, Manweek 2008. The 12 revised full papers presented in this volume were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on network anomaly detection; traffic engineering, protection, and recovery; network measurements and applications; and network management and security.
IP operations and management ; 7th IEEE International workshop, IPOM 2007 San José, USA, October 31 - November 2, 2007 Proceedings
This book constitutes the refereed proceedings of the 7th IEEE International Workshop on IP Operations and Management, IPOM 2007, held in the course of the 3rd International Week on Management of Networks and Services, Manweek 2007.
IP Networking over Next-Generation Satellite Systems ; International Workshop, Budapest, July 2007
Highlights the very latest research output of several EU satellite-related projects and addresses many unresolved issues in next-generation satellite systems, such as efficient deployment of IPv6 over satellites, working with WLAN and WiMax, QoS provisioning over multi-segment networks (including satellite networks), multicast networks and security.
IP Network-based Multi-agent Systems for Industrial Automation : Information Management, Condition Monitoring and Control of Power Systems
IP Network-based Multi-agent Systems for Industrial Automation is the first book to present an introduction to the use of the Internet protocol suite and multi-agent systems for the information management, online monitoring and control of distributed power system substations. An open architecture is proposed, in which mobile agents are applied to the retrieval and analysis of substation data, and to remote operator intervention. A prototype implementation of this architecture is also described, which has been demonstrated and evaluated using a substation simulator.
High-performance Packet Switching Architectures
Internet traffic is increasing at a rate of at least 200% per year. The world’s largest Internet Service Provider has recently stated that it expects traffic capacity on its regional trunks to grow to a 1-10 petabit range over the next four to five years. Wavelength division multiplexing (WDM), long-haul fiber-optic links and high-capacity all-optical circuit switches are now being employed at the Internet core to process such massive traffic, consequently creating a demand for novel high-performance packet switching technologies (IP routers, ATM switches, and Ethernet Switches) which feed the optical core.
Hexagonal image processing : A practical approach
Hexagonal Image Processing provides an introduction to the processing of hexagonally sampled images, includes a survey of the work done in the field, and presents a novel framework for hexagonal image processing (HIP) based on hierarchical aggregates. Digital image processing is currently dominated by the use of square sampling lattices, however, hexagonal sampling lattices can also be used to define digital images. The strengths offered by hexagonal lattices over square lattices are considerable: • higher packing density, • uniform connectivity of points (pixels) in the lattice, • better angular resolution by virtue of having more nearest neighbours, and • superlative representation of curves. The utility of the HIP framework is demonstrated by implementing several basic image processing techniques (for the spatial and frequency domain) and some applications. The HIP framework serves as a tool for comparing processing of images defined on a square vs hexagonal grid, to determine their relative merits and demerits. The theory and algorithms covered are supplemented by attention to practical details such as accommodating hardware that support only images sampled on a square lattice. Including a Foreword written by Professor Narendra Ahuja, an eminent researcher in the field of Image Processing and Computer Vision, the book’s fresh approach to the subject offers insight and workable know-how to both researchers and postgraduates.
Fuzzy Logic and Applications ; Vol. 3849 ; 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers
This volume contains the proceedings of the 6th International Workshop on Soft Computing and Applications (WILF 2005), which took place in Crema, Italy, on September 15–17, 2005, continuing an established tradition of biannual meetings among researchers and developers from both academia and industry to report on the latest scienti?c and theoretical advances, to discuss and debate major issues, and to demonstrate state-of-the-art systems. This edition of the workshop included two special sessions, sort of subwo- shops, focusing on the application of soft computing techniques (or compu- tional intelligence) to image processing (SCIP) and bioinformatics (CIBB).
From Specification to Embedded Systems Application
Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), which was held in August 2005 in Manaus (Brazil) and sponsored by International Federation for Information Processing (IFIP). The topics which have been chosen for this working conference are very timely: design methodology, modeling, specification, software synthesis, power management, formal verification, testing, network, communication systems, distributed control systems, resource management and special aspects in system design.
From model-driven design to resource management for distributed embedded systems ; IFIP TC 10 Working conference on distributed and parallel embedded systems (DIPES 2006) October 11-13, 2006, Braga, Portugal
From Model-Driven Design to Resource Management for Distributed Embedded Systems contains 16 original contributions as well as 12 invited papers by distinguished invited speakers. These papers were presented at the Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), which was held in October 2006 in Braga, Portugal, and sponsored by the International Federation for Information Processing (IFIP). This volume covers the following very timely topics: model-driven design, test and evolution of embedded systems, timing analysis and predictability, scheduling, allocation, communication and resource management in distributed real-time systems.
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.
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 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.
Emerging Directions in Embedded and Ubiquitous Computing ; EUC 2006 Workshops : NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings
Constitutes the refereed proceedings of the EUC 2006 workshops, held in conjunction with the IFIP International Conference on Embedded and Ubiquitous Computing in Seoul, Korea, August 2006.
Embedded and Ubiquitous Computing ; IFIP International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007, Proceedings
This book provides a forum for engineers and scientists in academia, industry, and governmentto address challenges and to present and discuss their ideas, results, work in progress and experience.
Embedded and Ubiquitous Computing - EUC 2005 Workshops ; EUC 2005 Workshops : UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 8-9, 2005
This book constitutes the refereed proceedings of the EUC 2005 workshops held in conjunction with the IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2005, in Nagasaki, Japan in December 2005.The 132 revised full papers presented were carefully reviewed and selected from 352 submissions. Topics covered by the five workshops are ubiquitous intelligence and smart worlds (UISW 2005), network-centric ubiquitous systems (NCUS 2005), security in ubiquitous computing systems (SecUbiq 2005), RFID and ubiquitous sensor networks (USN 2005), and trusted and autonomic ubiquitous and embedded systems (TAUES 2005).
