![]() |
Metalevel Architectures and Separation of Crosscutting Concerns: Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings
ISBN: 9783540426189 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of REFLECTION 2001, the Third Int- national Conference on Metalevel Architectures and Separation of Crosscutting Concerns, which was held in Kyoto, September 25-28, 2001. Metalevel architectures and re?ection have drawn the attention of researchers and practitioners throughout computer science. Re?ective and metalevel te- niques are being used to address real-world problems in such areas as: progr- ming languages, operating systems, databases, distributed computing, expert systems and web computing. Separation of concerns has been a guiding principle of...
This volume constitutes the proceedings of REFLECTION 2001, the Third Int- national Conference on Metalevel Architectures and Separation of Crosscutti...
|
cena:
201,24 |
![]() |
Security and Privacy in Digital Rights Management: ACM Ccs-8 Workshop Drm 2001, Philadelphia, Pa, Usa, November 5, 2001. Revised Papers
ISBN: 9783540436775 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Forming the thoroughly refereed post-proceedings of the International Workshop on Security and Privacy in Digital Rights Management, DRM 2001, held during the ACM CCS-8 Conference in Philadelphia, PA, USA, in November 2001, these 14 revised, full papers were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on renewability, fuzzy hashing, cryptographic techniques and fingerprinting, privacy and architectures, software tamper resistance, cryptanalysis, and economic and legal aspects.
Forming the thoroughly refereed post-proceedings of the International Workshop on Security and Privacy in Digital Rights Management, DRM 2001, held du...
|
cena:
201,24 |
![]() |
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3
ISBN: 9783540510802 / Angielski / Miękka / 718 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth...
This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the e...
|
cena:
402,53 |
![]() |
Bounded Incremental Computation
ISBN: 9783540613206 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Incremental computation concerns the re-computation of output after a change in the input, whereas algorithms and programs usually derive their output directly from their input. This book investigates the concept of incremental computation and dynamic algorithms in general and provides a variety of new results, especially for computational problems from graph theory: the author presents e.g. efficient incremental algorithms for several shortest-path problems as well as incremental algorithms for the circuit value annotation problem and for various computations in reducible flow graphs.
Incremental computation concerns the re-computation of output after a change in the input, whereas algorithms and programs usually derive their output...
|
cena:
201,24 |
![]() |
Applied Cryptography and Network Security: First International Conference, ACNS 2003. Kunming, China, October 16-19, 2003, Proceedings
ISBN: 9783540202080 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 1st International Conference on Applied Cryptography and Network Se- rity (ACNS 2003) was sponsored and organized by ICISA (International C- munications and Information Security Association), in cooperation with MiAn Pte. Ltd. and the Kunming government. It was held in Kunming, China in - tober 2003. The conference proceedings was published as Volume 2846 of the Lecture Notes in Computer Science (LNCS) series of Springer-Verlag. The conference received 191 submissions, from 24 countries and regions; 32 of these papers were accepted, representing 15 countries and regions (acceptance rate...
The 1st International Conference on Applied Cryptography and Network Se- rity (ACNS 2003) was sponsored and organized by ICISA (International C- munic...
|
cena:
201,24 |
![]() |
Organic and Pervasive Computing -- ARCS 2004: International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004, Proceedings
ISBN: 9783540212386 / Angielski / Miękka / 329 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Where is system architecture heading? The special interest group on Computer and Systems Architecture (Fachausschuss Rechner- und Systemarchitektur) of the German computer and information technology associations GI and ITG a- ed this question and discussed it during two Future Workshops in 2002. The result in a nutshell: Everything will change but everything else will remain. Future systems technologies will build on a mature basis of silicon and IC technology, onwell-understoodprogramminglanguagesandsoftwareengineering techniques, and on well-established operating systems and middleware...
Where is system architecture heading? The special interest group on Computer and Systems Architecture (Fachausschuss Rechner- und Systemarchitektur) o...
|
cena:
201,24 |
![]() |
Information Security and Cryptology - ICISC 2003: 6th International Conference, Seoul, Korea, November 27-28, 2003, Revised Papers
ISBN: 9783540213765 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Information Security and Cryptology, ICISC 2003, held in Seoul, Korea, in November 2003. The 32 revised full papers presented together with an invited paper were carefully selected from 163 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on digital signatures, primitives, fast implementations, computer security and mobile security, voting and auction protocols, watermarking, authentication and threshold protocols, and... This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Information Security and Cryptology, ICISC 20... |
cena:
201,24 |
![]() |
Financial Cryptography: 8th International Conference, FC 2004, Key West, FL, USA, February 9-12, 2004. Revised Papers
ISBN: 9783540224204 / Angielski / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 8th International Conference on Financial Cryptography, FC 2004, held in Key West, FL, USA, in February 2004. talks and 4 panel statements were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on loyalty and micropayment systems, user authentication, e-voting, auctions and lotteries, game theoretic and cryptographic tools, and mix networks and anonymous communications.
This book constitutes the thoroughly refereed post-proceedings of the 8th International Conference on Financial Cryptography, FC 2004, held in Key Wes...
|
cena:
201,24 |
![]() |
Advances in Computer Systems Architecture: 9th Asia-Pacific Conference, Acsac 2004, Beijing, China, September 7-9, 2004, Proceedings
ISBN: 9783540230038 / Angielski / Miękka / 602 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. On behalf of the program committee, we were pleased to present this year s program for ACSAC: Asia-Paci?c Computer Systems Architecture Conference. Now in its ninth year, ACSAC continues to provide an excellent forum for researchers, educators and practitioners to come to the Asia-Paci?c region to exchange ideas on the latest developments in computer systems architecture. This year, the paper submission and review processes were semiautomated using the free version of CyberChair. We received 152 submissions, the largest number ever.Eachpaperwasassignedatleastthree, mostlyfour,...
On behalf of the program committee, we were pleased to present this year s program for ACSAC: Asia-Paci?c Computer Systems Architecture Conference. No...
|
cena:
402,53 |
![]() |
Formal Techniques for Networked and Distributed Systems - Forte 2004: 24th Ifip Wg 6.1 International Conference, Madrid Spain, September 27-30, 2004,
ISBN: 9783540232520 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 24th IFIP TC 6/WG 6.1 Inter- tionalConference onFormalTechniquesfor Networkedand Distributed Systems (FORTE 2004), held in Madrid, Spain, September 27 30,2004.FORTE denotes a series of international working conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Three years ago the conference name was changed to its current form. The last ?ve...
This volume contains the proceedings of the 24th IFIP TC 6/WG 6.1 Inter- tionalConference onFormalTechniquesfor Networkedand Distributed Systems (FORT...
|
cena:
201,24 |
![]() |
Middleware 2004: Acm/Ifip/Usenix International Middleware Conference, Toronto, Canada, October 18-20, 2004, Proceedings
ISBN: 9783540234289 / Angielski / Miękka / 520 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Middleware systems compriseprogrammingmodels, abstractions, protocols, and services to facilitate the design, the development, the integration, and the - ployment of distributed applications in heterogeneous computing environments. Conceptually, the term middleware refers to a layer of software above the networking substrate and the operating system and below the (distributed) application. In practice these boundaries are not clear cut, with middleware functionality moving into and out of these layers. Remote communication, p- lish/subscribe, messaging, and (distributed) transaction...
Middleware systems compriseprogrammingmodels, abstractions, protocols, and services to facilitate the design, the development, the integration, and th...
|
cena:
402,53 |
![]() |
Digital Watermarking: Third International Workshop, Iwdw 2004, Seoul, Korea, October 30 - November 1, 2004, Revised Selected Papers
ISBN: 9783540248392 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed post-proceedings of the Third International Workshop on Digital Watermarking, IWDW 2004, held in Seoul, Korea in October/November 2004. These papers are organized in topical sections on systems, theory, authentication and steganography, cryptography, and methods.
Constitutes the refereed post-proceedings of the Third International Workshop on Digital Watermarking, IWDW 2004, held in Seoul, Korea in October/Nove...
|
cena:
201,24 |
![]() |
Information Security and Privacy: 10th Australasian Conference, Acisp 2005, Brisbane, Australia, July 4-6, 2005, Proceedings
ISBN: 9783540265474 / Angielski / Miękka / 594 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 2005 Australasian Conference on Information Security and Privacy was the tenth in the annual series that started in 1996.Over the yearsACISP has grown from a relativelysmallconferencewith a largeproportionof paperscoming from Australia into a truly international conference with an established reputation. ACISP 2005 was held at Queensland University of Technology in Brisbane, d- ing July 4 6, 2005. This year there were 185 paper submissions and from these 45 papers were accepted. Accepted papers came from 13 countries, with the largest proportions coming from Australia (12), China (8) and...
The 2005 Australasian Conference on Information Security and Privacy was the tenth in the annual series that started in 1996.Over the yearsACISP has g...
|
cena:
201,24 |
![]() |
Information and Communications Security: 7th International Conference, Icics 2005, Beijing, China, December 10-13, 2005, Proceedings
ISBN: 9783540309345 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 7th International Conference on Information and Communications Security, ICICS 2005, held in Beijing, China in December 2005. This book features papers that are organized in topical sections on fair exchange, digital signatures, cryptographic protocols, cryptanalysis, network security, and more.
Constitutes the refereed proceedings of the 7th International Conference on Information and Communications Security, ICICS 2005, held in Beijing, Chin...
|
cena:
201,24 |
![]() |
Emerging Trends in Information and Communication Security: International Conference, Etrics 2006, Freiburg, Germany, June 6-9, 2006. Proceedings
ISBN: 9783540346401 / Angielski / Miękka / 532 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS 2006, held in Freiburg, Germany, in June 2006. The book presents 36 revised full papers, organized in topical sections on multilateral security; security in service-oriented computing, secure mobile applications; enterprise privacy; privacy, identity, and anonymity; security engineering; security policies; security protocols; intrusion detection; and cryptographic security. This book constitutes the refereed proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS... |
cena:
201,24 |
![]() |
Applied Cryptography and Network Security: 4th International Conference, Acns 2006, Singapore, June 6-9, 2006, Proceedings
ISBN: 9783540347033 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 4th International Conference on Applied Cryptography and Network Security(ACNS 2006)washeldin Singapore, during June6-9,2006.ACNS 2006 brought together individuals from academia and industry involved in multiple research disciplines of cryptography and security to foster exchange of ideas. This volume (LNCS 3989) contains papers presented in the academic track. ACNS was set a high standard when it was initiated in 2003. There has been a steady improvement in the quality of its program in the past 4 years: ACNS 2003 (Kunming, China), ACNS 2004 (Yellow Mountain, China), ACNS 2005 (New York,...
The 4th International Conference on Applied Cryptography and Network Security(ACNS 2006)washeldin Singapore, during June6-9,2006.ACNS 2006 brought tog...
|
cena:
402,53 |
![]() |
Information Security and Privacy: 8th Australasian Conference, ACISP 2003, Wollongong, Australia, July 9-11, 2003, Proceedings
ISBN: 9783540405153 / Angielski / Miękka / 540 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
This book constitutes the refereed proceedings of the 8th Australasian Conference on Information Security and Privacy, ACISP 2003, held in Wollongong, Australia, in July 2003. The 42 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 158 submissions. The papers are organized in topical sections on privacy and anonymity, elliptic curve cryptography, cryptanalysis, mobile and network security, digital signatures, cryptosystems, key management, and theory and hash functions.
This book constitutes the refereed proceedings of the 8th Australasian Conference on Information Security and Privacy, ACISP 2003, held in... |
cena:
201,24 |
![]() |
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings
ISBN: 9783540410553 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of maturity, and from being under the scrutiny of a few interested software designers and academics to becoming a well-established area of inquiry. A number of new topics, such as hybrid systems, have been g- minated at these meetings and cross-links explored with related subjects such as scheduling theory. There has certainly been progress during these 12 years, but it is sobering to see how far and how fast practice...
The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tio...
|
cena:
201,24 |
![]() |
Information Security: 4th International Conference, ISC 2001 Malaga, Spain, October 1-3, 2001 Proceedings
ISBN: 9783540426622 / Angielski / Miękka / 562 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Information Security Conference 2001 brought together individuals involved in multiple disciplines of information security to foster the exchange of ideas. The conference, an outgrowth of the Information Security Workshop (ISW) series, was held in Malaga, Spain, on October 1-3, 2001. Previous workshops were ISW '97 at Ishikawa, Japan; ISW '99 at Kuala Lumpur, Malaysia; and ISW 2000 at Wollongong, Australia. The General Co chairs, Javier Lopez and Eiji Okamoto, oversaw the local organization, registration, and performed many other tasks. Many individuals deserve thanks for their...
The Information Security Conference 2001 brought together individuals involved in multiple disciplines of information security to foster the exchange ...
|
cena:
201,24 |
![]() |
Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
ISBN: 9783540295723 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Latin-American Symposium on Dependable Computing, LADC, isthemain Latin-American event dedicated to the discussion of the many issues related to dependability in computer systems and networks. It is a forum for researchers and practitioners (from all over the world) to present and discuss their latest results and experiences in this ?eld. LADC2005, thesecondeditionofthisevent, followedonthesuccessofLADC 2003, which took place at the Polytechnic School of the University of S ao Paulo. It was organized by LaSiD, the Distributed Systems Laboratoryassociated with the Department of Computer...
The Latin-American Symposium on Dependable Computing, LADC, isthemain Latin-American event dedicated to the discussion of the many issues related to d...
|
cena:
201,24 |