Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Sele
ISBN: 9783540691471 / Angielski / Miękka / 574 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King s 1969 thesis on A program verifier. What gives the whole topic a new urgency is the conjunction of three phenomena: the blitz-like spread of software-rich systems to control ever more facets of our world and our lives; our growing impatience with deficiencies; and the development proceeding more slowly, alas, than the other two trends of techniques to ensure and verify software quality. In 2002 Tony Hoare, one of the most...
A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predat...
|
|
cena:
388,20 zł |
Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1 International Conference, Fmoods 2008, Oslo, Norway, June 4-6, 2008 Proceed
ISBN: 9783540688624 / Angielski / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 10th IFIP Working Group 6.1 - ternational Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008).The conference was part of the Third Federated c- ferences on Distributed Computing Techniques (DisCoTec), together with the 10th International Conference on Coordination Models and Languages (COOR- DINATION 2008) and the 8th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2008). We are grateful to Frank Eliassen and Einar Broch Johnsen of the University of Oslo for the excellent...
This volume contains the proceedings of the 10th IFIP Working Group 6.1 - ternational Conference on Formal Methods for Open Object-Based Distributed S...
|
|
cena:
194,08 zł |
Information Technologies in the Minerals Industry: Proceedings of the First International Conference on Information Technologies in the Minerals Indus
ISBN: 9789054109327 / Angielski / Twarda / 124 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The conference is organized by the Department of Mining Engineering and Metallurgy of the National University of Athens, Greece and its purpose is to promote technology transfer and identify future courses of action in research and development via the Internet. The topics covered include applications in a wide spectrum of mining related fields: Mineral exploration; Orebody modelling; Mine planning and operations; Mine equipment; Rock mechanics; Mine safety and training; Reclamation and environmental issues; Mineral processing. The complete proceedings are published... The conference is organized by the Department of Mining Engineering and Metallurgy of the National University of Athens, Greece and its pur... |
|
cena:
858,05 zł |
Flow Induced Alignment in Composite Materials
ISBN: 9781855732544 / Angielski / Twarda / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The purpose of aligning short fibres in a fibre-reinforced material is to improve the mechanical properties of the resulting composite. Aligning the fibres, generally in a preferred direction, allows them to contribute as much as possible to reinforcing the material. Flow induced alignment in composite materials details, in a single volume, the science, processing, applications, characterisation and properties of composite materials reinforced with short fibres that have been orientated in a preferred direction by flows arising during processing. The topics discussed include fibre...
The purpose of aligning short fibres in a fibre-reinforced material is to improve the mechanical properties of the resulting composite. Aligning the f...
|
|
cena:
928,71 zł |
Grid Computing: First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers
ISBN: 9783540210481 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. On behalf of the Program Committee, it is a pleasure for us to introduce the proceedingsofthe1stEuropeanAcrossGridsConference.Thiseventwasheldin SantiagodeCompostela, Spain, February13 14,2003.Theconference, organized by the University of Santiago (USC), the University of A Coruna (UDC) and theSupercomputingCenterofGalicia(CESGA), waspromotedbytheEuropean CrossGrid project and supported by the GridStart Cluster. The idea of organizing this event was born within the CrossGrid com- nity. CrossGrid is developing its middleware, tools and applications in colla- ration with DataGrid and GridLab...
On behalf of the Program Committee, it is a pleasure for us to introduce the proceedingsofthe1stEuropeanAcrossGridsConference.Thiseventwasheldin Santi...
|
|
cena:
194,08 zł |
Security in Communication Networks: 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers
ISBN: 9783540243014 / Angielski / Miękka / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 4th International Conference on Security in Communication Networks 2004 (SCN2004)washeldatthe"DioceseHall"oftheArchdioceseofAmal?-Cavade' Tirreni and the "Armorial Bearings Hall" of the Archbishop Palace in Amal?, Italy, on September 8-10, 2004. Previous conferences also took place in Amal? in 1996, 1999 and 2002. The conference aimed at bringing together researchers in the ?elds of cr- tography and security in communication networks to foster cooperation and the exchange of ideas. The main topics included all technical aspects of data security, including: anonymity, authentication,...
The 4th International Conference on Security in Communication Networks 2004 (SCN2004)washeldatthe"DioceseHall"oftheArchdioceseofAmal?-Cavade' Tirreni ...
|
|
cena:
194,08 zł |
Pervasive Computing: First International Conference, Pervasive 2002, Zürich, Switzerland, August 26-28, 2002. Proceedings
ISBN: 9783540440604 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the First International Conference on Pervasive Computing, Pervasive 2002, held in Zurich, Switzerland in August 2002. The 20 revised full papers presented together with an invited paper were carefully reviewed and selected from a total of 162 submissions. The papers are organized in topical sections on system design; applications; identification and authentication; models, platforms and architectures; location and mobility; and device independence and content distribution.
Constitutes the refereed proceedings of the First International Conference on Pervasive Computing, Pervasive 2002, held in Zurich, Switzerland in Augu...
|
|
cena:
194,08 zł |
E-Government Ict Professionalism and Competences Service Science: Ifip 20th World Computer Congress, Industry Oriented Conferences, September 7-10, 20
ISBN: 9780387097114 / Angielski / Twarda / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the IFIP Industry Oriented Conferences held at the 20th World Computer Congress in Milano, Italy on September 7-10, 2008. 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... This book constitutes the refereed proceedings of the IFIP Industry Oriented Conferences held at the 20th World Computer Congress in Milano, Italy ... |
|
cena:
388,20 zł |
C and the 8051 (4th Edition)
ISBN: 9780978399504 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This slightly revised 4th edition includes two example projects from the earlier editions not found in the third edition but is otherwise unchanged. As before it includes a massive amount of information about the 8051-family of microcontrollers and techniques for programming them in the C language. There is a strong emphasis on interrupt-driven programming and operating systems as well as many algorithms related to typical microcontroller interfacing. There is extensive ground-up coverage of serial interfacing and small-area networks.
This slightly revised 4th edition includes two example projects from the earlier editions not found in the third edition but is otherwise unchanged. A...
|
|
cena:
213,47 zł |
Innovation Together: Microsoft Research Asia Academic Research Collaboration
ISBN: 9780387878607 / Angielski / Twarda / 221 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since its establishment in 1998, Microsoft Research Asia's trademark and long term commitment has been to foster innovative research and advanced education in the Asia-Pacific region. Through open collaboration and partnership with universities, government and other academic partners, MSRA has been consistently advancing the state-of-the-art in computer science. This book was compiled to record these outstanding collaborations, as Microsoft Research Asia celebrates its 10th Anniversary. The selected papers are all authored or co-authored by faculty members or students through... Since its establishment in 1998, Microsoft Research Asia's trademark and long term commitment has been to foster innovative research and advanced e... |
|
cena:
388,20 zł |
Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008, Proceedings
ISBN: 9783540877783 / Angielski / Miękka / 522 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 22nd International Symposium on Distributed Computing, DISC 2008, held in Arcachon, France, in September 2008. The 33 revised full papers, selected from 101 submissions, are presented together with 11 brief announcements of ongoing works; all of them were carefully reviewed and selected for inclusion in the book. The papers address all aspects of distributed computing, including the theory, design, implementation and applications of distributed algorithms, systems and networks - ranging from foundational and theoretical topics to...
This book constitutes the refereed proceedings of the 22nd International Symposium on Distributed Computing, DISC 2008, held in Arcachon, France, in S...
|
|
cena:
388,20 zł |
Embedded Systems Design: The Artist Roadmap for Research and Development
ISBN: 9783540251071 / Angielski / Miękka / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc. The extensive and increasing use of embedded systems and their integration in everyday products marks a significant...
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, ...
|
|
cena:
388,20 zł |
Security and Dependability for Ambient Intelligence
ISBN: 9780387887746 / Angielski / Twarda / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Security and Dependability for Ambient Intelligence is the primary publication for the SERENITY approach which provides security and dependability (S&D) solutions for dynamic, highly distributed and heterogeneous systems. The term Ambient Intelligence identifies an ambitious vision for pushing technological developments, that will enable heterogeneous networked systems and devices with computing capabilities (cars, house applications, mobile phones etc.). The objective of SERENITY is to enhance the security and dependability of ambient intelligence systems by providing a... Security and Dependability for Ambient Intelligence is the primary publication for the SERENITY approach which provides security a... |
|
cena:
582,32 zł |
Secure Data Management: 5th Vldb Workshop, Sdm 2008, Auckland, New Zealand, August 24, 2008, Proceedings
ISBN: 9783540852582 / Angielski / Miękka / 229 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Information and communication technologies are advancing fast. Processing speed is still increasing at a high rate, followed by advances in digital storage technology, which double storage capacity every year. Furthermore, communication techno- gies do not lag behind. The Internet has been widely used, as well as wireless te- nologies. With a few mouse clicks, people can communicate with each other around the world. All these advances have great potential to change the way people live, introducing new concepts like ubiquitous computing and ambient intelligence. Technology is becoming present...
Information and communication technologies are advancing fast. Processing speed is still increasing at a high rate, followed by advances in digital st...
|
|
cena:
194,08 zł |
Architecting Dependable Systems V
ISBN: 9783540855705 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability. This state-of-the-art survey contains expanded and peer-reviewed papers based on the carefully selected contributions to two workshops: the Workshop on Architecting Dependable Systems (WADS... As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be consi... |
|
cena:
194,08 zł |
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings
ISBN: 9783540893295 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008. The 20 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 41 submissions. The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. The papers cover topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, software security, safety,...
This book constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, ...
|
|
cena:
194,08 zł |
Advanced Distributed Systems: Third International School and Symposium, Issads 2004, Guadalajara, Mexico, January 24-30, 2004, Revised Papers
ISBN: 9783540221722 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the Third International School and Symposium on Advanced Distributed Systems, ISSADS 2004, held in Guadalajara, Mexico in January 2004.The 25 revised full papers presented were carefully reviewed and selected from 46 submissions. Among the topics addressed are virtual characters, distributed toolkits, serial visual presentation, multi-agent architectures, MAS, agent-object hybrid languages, robot soccer agents, distributed querying, semantic search engines, coordination, distributed collaboration, virtual communities,...
This book constitutes the thoroughly refereed post-proceedings of the Third International School and Symposium on Advanced Distributed Systems, ISSADS...
|
|
cena:
194,08 zł |
Wired/Wireless Internet Communications: Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005, Proceedings
ISBN: 9783540258995 / Angielski / Miękka / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the 3rd International Conference on Wired/Wireless Internet C- munications (WWIC). After a successful start in Las Vegas and a selective c- ference in Germany, this year s WWIC demonstrated the event s maturity. The conference was supported by several sponsors, both international and local, and became the o?cial venue for COST Action 290. That said, WWIC has now been established as a top-quality conference to promote research on the convergence of wired and wireless networks. This year we received 117 submissions, which allowed us to organize an - citing program with excellent...
Welcome to the 3rd International Conference on Wired/Wireless Internet C- munications (WWIC). After a successful start in Las Vegas and a selective c-...
|
|
cena:
194,08 zł |
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
ISBN: 9783540261810 / Angielski / Miękka / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005, held in Athens, Greece on June 15-17, 2005. The FMOODS conference was held as a joint event in federation with the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2005). The 19 revised full papers presented together with an invited paper were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on models and calculi, UML,... This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed ... |
|
cena:
194,08 zł |
Secure Data Management: Second VLDB Workshop, SDM 2005, Trondheim, Norway, August 30-September 2, 2005, Proceedings
ISBN: 9783540287988 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Althoughcryptographyandsecuritytechniqueshavebeenaroundfor quitesome time, emerging technologies such as ubiquitous computing and ambient intel- gence that exploit increasingly interconnected networks, mobility and pers- alization put new requirements on security with respect to data management. As data is accessible anytime anywhere, according to these new concepts, it - comes much easier to get unauthorized data access. Furthermore, it becomes simpler to collect, store, and search personal information and endanger people s privacy. Therefore, researchin the area of secure data management is...
Althoughcryptographyandsecuritytechniqueshavebeenaroundfor quitesome time, emerging technologies such as ubiquitous computing and ambient intel- gence...
|
|
cena:
194,08 zł |