الصفحة 1
الصفحة 1
Ontologies for Software Engineering and Software Technology
The editors structured the contributions into three parts: first, a detailed introduction into the use of ontologies in software engineering and software technology in general; second, the use of ontologies to conceptualize different process-related domains such as software maintenance, software measurement, or SWEBOK, initiated by IEEE; third, the use of ontologies as artifacts in several software processes, like, for example, in OMG’s MOF or MDA.
Next Generation Transport Networks : Data, Management, and Control Planes
Next Generation Transport Networks: Data, Management, and Control Planes provides a tutorial and reference information for next generation telecommunication network technologies. This insightful and accessible overview includes key technologies that comprise the backbone of the networking infrastructure.
Next Generation Teletraffic and Wired ; 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29-June 2, 2006, Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking, NEW2AN 2006, held in St. Petersburg, Russia in May/June 2006. The book includes 49 revised full papers presented together with 2 keynote talks. The papers are organized in topical sections on teletraffic, traffic characterization and modeling, 3G/UMTS, sensor networks, WLAN, QoS, MANETs, lower layer techniques, PAN technologies, and TCP.
Modelling Autonomic Communications Environments ; 3rd IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008. Proceedings
Research and development of autonomics have come a long way, and we are delighted to present the proceedings of the 3rd IEEE International Workshop on Modelling Autonomic Communications Environments (MACE 2008).Asin the last two years, this workshopwasheld aspart of Manweek, the International Week on Management of Networks and Services, which took place on the lovely Island of Samos in Greece .MACE started as anexperimentin2006,andcreatedasmallcommunitythat nowfnds it self attracted backeachyearby afeeling ofexcitement-thatthere is something new going on. Certainly, MACE is not as shiny or practiced as other well-known conferences and workshops, but we consider this a feature of the workshopitself.
Mobile and Wireless Communication Networks; IFIP 19th World Computer Congress, TC-6, 8th IFIP/IEEE Conference on Mobile and Wireless Communications Networks, August 20-25, 2006, Santiago, Chile
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first steps in that research. This volume introduces some of the more promising methods and techniques used for the verification and validation (V&V) of neural networks and adaptive systems. A comprehensive guide to performing V&V on neural network systems, aligned with the IEEE Standard for Software Verification and Validation, will follow this book. The NASA IV&V and the Institute for Scientific Research, Inc. are working to be at the forefront of software safety and assurance for neural network and adaptive systems.
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 ; Vol. 4191; 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part II
T MICCAI papers are of high standard and have a long lifetime. In this v- ume as well as in the latest journal issues of Medical Image Analysis and IEEE Transactions on Medical Imaging papers cite previous MICCAIs including the ?rst MICCAI conference in Cambridge, Massachusetts, 1998. It is obvious that the community requires the MICCAI papers as archive material. Therefore the proceedingsofMICCAIarefrom2005andhenceforthbeing indexedbyMedline. Acarefulreviewandselectionprocesswasexecutedinordertosecurethebest possible program for the MICCAI 2006 conference. We received 578 scienti?c papers from which 39 papers were selected for the oral program and 193 papers for the poster program.
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 ; Vol. 4190 ; 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part I
MICCAI papers are of high standard and have a long lifetime. In this v- ume as well as in the latest journal issues of Medical Image Analysis and IEEE Transactions on Medical Imaging papers cite previous MICCAIs including the ?rst MICCAI conference in Cambridge, Massachusetts, 1998. It is obvious that the community requires the MICCAI papers as archive material. Therefore the proceedingsofMICCAIarefrom2005andhenceforthbeing indexedbyMedline. Acarefulreviewandselectionprocesswasexecutedinordertosecurethebest possible program for the MICCAI 2006 conference. We received 578 scienti?c papers from which 39 papers were selected for the oral program and 193 papers for the poster program.
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.
Intelligence and Security Informatics ; Vol. 3975 ; IEEE International Conference on Intelligence and Security Informatics, ISI 2006, San Diego, CA, USA, May 23-24, 2006.
In the past few years, intelligence and security informatics (ISI) research, which is concerned with the study of the development and use of advanced information te- nologies and systems for national and international security-related applications, has experienced tremendous growth and attracted substantial interest from academic - searchers in related fields as well as practitioners from both government agencies and industry. The ISI community is maturing, and a core set of research methodologies and technical approaches has emerged and is becoming the underpinning of ISI research.
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.
Intelligence and security informatics ; IEEE ISI 2008 International Workshops : PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings
This book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, held as satellite events of the IEEE International Conference on Intelligence and Security Informatics, ISI 2008, in Taipei, Taiwan, in June 2008.The 55 revised full papers presented were carefully reviewed and selected from the presentations at the workshops. The 21 papers of the Pacific Asia Workshop on Intelligence and Security Informatics (PAISI 2008) cover topics such as information retrieval and event detection, internet security and cybercrime, currency and data protection, cryptography, image and video analysis, privacy issues, social networks, modeling and visualization, and network intrusion detection.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation ; Vol. 3728 ; 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings
Welcome to the proceedings of PATMOS 2005, the 15th in a series of international workshops.PATMOS2005wasorganizedbyIMECwithtechnicalco-sponsorshipfrom the IEEE Circuits and Systems Society. Over the years, PATMOS has evolved into an important European event, where - searchers from both industry and academia discuss and investigate the emerging ch- lenges in future and contemporary applications, design methodologies, and tools - quired for the developmentof upcominggenerationsof integrated circuits and systems. The technical program of PATMOS 2005 contained state-of-the-art technical contri- tions, three invited talks, a special session on hearing-aid design, and an embedded - torial. The technical program focused on timing, performance and power consumption, as well as architectural aspects with particular emphasis on modeling, design, char- terization, analysis and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert revi- ers, selected the 74 papers to be presented at PATMOS. The papers were divided into 11 technical sessions and 3 poster sessions. As is always the case with the PATMOS workshops, the review process was anonymous, full papers were required, and several reviews were carried out per paper. Beyond the presentations of the papers, the PATMOS technical program was - riched by a series of speeches offered by world class experts, on important emerging research issues of industrial relevance. Prof. Jan Rabaey, Berkeley, USA, gave a talk on “Traveling the Wild Frontier of Ulta Low-Power Design”, Dr. Sung Bae Park, S- sung, gave a presentation on “DVL (Deep Low Voltage): Circuits and Devices”, Prof.
Hybrid Systems : Computation and Control ; Vol. # 3414 ; 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich, Switzerlandduring March 9-11, 2005. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous - haviors. This year's HSCC was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 3 invited talks and 40 regular papers selected from 91 regular submissions. The program covered topics such as tools for analysis and verification, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation. We would like to thank the Program Committee members and reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions.
Human-computer interaction – INTERACT 2005 ; IFIP TC 13 International Conference, Rome, Italy, September 12-16, 2005, Proceedings
We will be, sooner or later, not only handling personal computers but also mul- purpose cellular phones, complex personal digital assistants, devices that will be context-aware, and even wearable computers stitched to our clothes…we would like these personal systems to become transparent to the tasks they will be performing. In fact the best interface is an invisible one, one giving the user natural and fast access to the application he (or she) intends to be executed. The working group that organized this conference (the last of a long row!) tried to combine a powerful scientific program (with drastic refereeing) with an entertaining cultural program, so as to make your stay in Rome the most pleasant one all round: I do hope that this expectation becomes true. July 2005 Stefano Levialdi, IEEE Life Fellow INTERACT 2005 General Chairman [1] Peter J. Denning, ACM Communications, April 2005, vol. 48, N° 4, pp. 27-31. Editors’ Preface INTERACT is one of the most important conferences in the area of Human-Computer Interaction at the world-wide level. We believe that this edition, which for the first time takes place in a Southern European country, will strengthen this role, and that Rome, with its history and beautiful setting provides a very congenial atmosphere for this conference. The theme of INTERACT 2005 is Communicating Naturally with Computers.
How to engineer software : A model-based approach
The book promotes development scalability through domain partitioning and subdomain partitioning. It also explores software documentation that specifically and intentionally adds value for development and maintenance. Contains many illustrative examples of model-based software engineering, from semantic model all the way to executable code Explains how to derive verification (acceptance) test cases from a semantic model Describes project estimation, along with alternative software development and maintenance processes Shows how to develop and maintain cost-effective software that solves real-world problems
Home Networking ; 1st IFIP WG 6.2 Home Networking Conference (IHN’2007), Paris, France, December 10–12, 2007
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.
Formal Methods for Mobile Computing ; 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005. SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.
