Kategoria BISAC: Computers >> Software Development & Engineering - Systems Analysis & Design

This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996.
The book presents 26 revised full papers selected from a total of 66 submissions based on the reviews of 146 referees. The papers are organized in sections on distributed fault tolerance, fault injection, modelling and evaluation, fault-tolerant design, basic hardware models, testing, verification, replication and distribution, and system level diagnosis.

This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997.
The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also included are full versions or abstracts of 7 invited papers or tutorials.
Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods...

This book constitutes the refereed proceedings of the 9th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, held in St. Malo, France, in June 1997.
The volume presents 17 revised full papers carefully selected by the program committee for the proceedings; also included is an extended abstract of an invited talk. The collection of papers presented represents state-of-the-art work in computer performance evaluation. Among the issues addressed are fully distributed systems, statistical multiplexing for high-speed networks, and implications of the...

The 6th International Workshop on Information Security Applications (WISA 2005) was held on Jeju Island, Korea, during August 22 24, 2005. The workshop was sponsored by the Korea Institute of Information Security and Cryptology (KIISC), the Electronics and Telecommunications Research Institute (ETRI) and the Ministry of Information and Communication (MIC). The aim of the workshop is to serve as a forum for new conceptual and - perimental research results in the area of information security applications, with contributions from the academic community as well as from industry. The wo- shop...

This volume consists of the proceedings of the Sixth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008). The maingoalof thisseriesofconferencesis to bring togetherdiversecommunitiesof researchers that deal with the timing aspects of computing systems. Both f- damental and practical aspects of timed systems are addressed. Further, three invited talks that survey various aspects of this broad research domain were presented at the conference: "Composing Web Services in an Open World: QoS Issues" (Albert Benveniste); "Recent Results in Metric Temporal Logic"...

On behalf of the IEEE Communications Society, Technical Committee on N- work Operations and Management (CNOM), Manweek 2008 Organizing C- mittee, and members of the IPOM Technical Program Committee, it is our pleasureto present the proceedings of the 8th IEEE Workshop on IP Operations and Management(IPOM 2008), heldaspartofManweek2008duringSeptember 22-26, 2008, on Samos, Greece. ThecurrentInternetisalarge-scaledistributedsystemwhosesub-components suchasaddressing, protocols, algorithms, services, need to scalein time withthe rapid growth of Internet tra?c volumes. Moreover, there is a high...

This volume presents the proceedings of the 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services (MMNS 2008), which was held on Samos, Greece during September 22-26 as part of the 4th International Week on Management of Networks and Services (Manweek 2008). As in the previous three years, the Manweek umbrella - lowed an international audience of researchers and scientists from industry and academia - who are researching and developing management systems - to share views and ideas and present their state-of-the-art results. The other events...

This book constitutes the refereed proceedings of the International Workshop on Biometric Recognition Systems, IWBRS 2005, held in Beijing, China in October 2005 within the scope of ICCV 2005, the International Conference on Computer Vision. This workshop combines the annual Chinese Conference on Biometric Recognition (Sinobiometrics 2005). The 32 revised full papers were carefully reviewed and selected from 130 submissions. The papers address the problems of automatic and reliable authentication of individuals in face, iris, fingerprint, palmprint, speaker, writing and other biometrics, and...

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.

This book constitutes the refereed proceedings of the 6th International Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2006, held in Samos, Greece on July 2006.

The 47 revised full papers presented together with 2 keynote talks were thoroughly reviewed and selected from 130 submissions. The papers are organized in topical sections on system design and modeling, wireless sensor networks, processor design, dependable computing, architectures and implementations, and embedded sensor systems.

This book constitutes the refereed proceedings of the joint International Conference on Artificial Neural Networks and International Conference on Neural Information Processing, ICANN/ICONIP 2003, held in Istanbul, Turkey, in June 2003.

The 138 revised full papers were carefully reviewed and selected from 346 submissions. The papers are organized in topical sections on learning algorithms, support vector machine and kernel methods, statistical data analysis, pattern recognition, vision, speech recognition, robotics and control, signal processing, time-series prediction,...

The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. China, 22-27 July 2007, jointly with the Symposium on Human Interface (Japan) 2007, the 7th International Conference on Engineering Psychology and Cognitive Ergonomics, the 4th International Conference on Universal Access in Human-Computer Interaction, the 2nd International Conf- ence on Virtual Reality, the 2nd International Conference on Usability and Inter- tionalization, the 2nd International Conference on Online Communities and Social Computing, the 3rd International...

Stamatis Vassiliadis established the SAMOS workshop in the year 2001 an event which combines his devotion to computer engineering and his pride for Samos, the island where he was born. The quiet and inspiring northern mo- tainside of this Mediterranean island together with his enthusiasm and warmth created a unique atmosphere that made this event so successful. Stamatis V- siliadis passed away on Saturday, April 7, 2007. The research community wants to express its gratitude to him for the creation of the SAMOS workshop, which will not be the same without him. We would like to dedicate this...

ThisvolumecontainstheproceedingsofEWSN2008, the?fthEuropeanConf- ence on Wireless Sensor Networks, held in Bologna, Italy, during January 30-31 and February 1, 2008. Its scope was the creation of a forum where researchers with di?erent ex- rience and background could discuss cross-layer approaches, novel solutions for speci?c problems and envisage the future development of wireless sensor n- works (WSNs). Out of the 110 papers that were submitted, 23 were selected after a doub- blind peer-review process, leading to an acceptance rate of 21%. Six among the accepted papers included authors from...

This volume contains the proceedingsof EWSN 2009, the 6th European Conf- ence on Wireless Sensor Networks. The conference took place in Cork, Ireland during February11-13,2009. The aim ofthe conferencewasto discussthe latest research results and developments in the ?eld of wireless sensor networks. EWSN received a total of 145 full paper submissions of which 23 were - lectedfor publicationandpresentation, yielding anacceptancerateofjust under 16%. Paper submissions were received from 36 di?erent countries in all parts of the world. EWSN adopted a double-blind review process, where the...

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004.

The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

A central theme in the study of dynamic systems is the modelling and control of uncertain systems. While uncertainty has long been a strong motivating factor behind many techniques developed in the modelling, control, statistics and mathematics communities, the past decade, in particular, has witnessed remarkable progress in this area with the emergence of a number of powerful newmethodsforbothmodellingandcontrollinguncertaindynamicsystems. The speci?c objective of this book is to describe and review some of these exciting new approaches within a single volume. Our approach was to invite some...

We are rapidly heading towards a world in which the computing infrastructure will contain billions of devices, which will interact with other computing/communications devices that are carried or worn by users as they go through their daily routines. Such devices will provide data access to mobile users as they move within buildings, cities, or across the globe. This new infrastructure presents tremendous challenges for data management technology, including: huge scale; variable and intermittent connectivity; location and context-aware applications; bandwidth, power, and devi- size...

This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Following a very thorough review process, 18 full research papers were selected from 72 submissions. Topics covered include traditional compiler construction, compiler analyses, runtime systems and tools, programming tools, techniques for specific domains, and the design and implementation of novel language constructs.

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science, but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from...