Search Results for - Narrowed by: Software engineering. - Operating Systems.

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2024-05-25T15:09:49Z

by Sokolinsky, Leonid. editor.
https://doi.org/10.1007/978-3-319-99673-8
Format: Electronic Resources

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2024-05-25T15:09:49Z

by Heras, Dora B. editor.
https://doi.org/10.1007/978-3-319-75178-8
Format: Electronic Resources

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2024-05-25T15:09:49Z

by Wang, Meng. editor.
https://doi.org/10.1007/978-3-319-89719-6
Format: Electronic Resources

Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-05-25T15:09:49Z

by Bonomi, Silvia. editor.
https://doi.org/10.1007/978-3-319-93767-0
Format: Electronic Resources

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

2024-05-25T15:09:49Z

by Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251
https://doi.org/10.1007/978-3-319-92408-3
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-05-25T15:09:49Z

by Baier, Christel. editor.
https://doi.org/10.1007/978-3-319-92612-4
Format: Electronic Resources

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2024-05-25T15:09:49Z

by Li, Chao. editor.
https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-05-25T15:09:49Z

by Izumi, Taisuke. editor.
https://doi.org/10.1007/978-3-030-03232-6
Format: Electronic Resources

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-05-25T15:09:49Z

by Rensink, Arend. editor. (orcid)0000-0002-1714-6319
https://doi.org/10.1007/978-3-319-93317-7
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII

2024-05-25T15:09:49Z

by Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-57932-9
Format: Electronic Resources

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2024-05-25T15:09:49Z

by Itsykson, Vladimir. editor.
https://doi.org/10.1007/978-3-319-71734-0
Format: Electronic Resources

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2024-05-25T15:09:49Z

by Pires, Luís Ferreira. editor.
https://doi.org/10.1007/978-3-319-94764-8
Format: Electronic Resources

Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers

2024-05-25T15:09:49Z

by Ferguson, Donald. editor.
https://doi.org/10.1007/978-3-319-94959-8
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXVIII

2024-05-25T15:09:49Z

by Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-319-78301-7
Format: Electronic Resources

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-05-25T15:09:49Z

by Jarvis, Stephen. editor.
https://doi.org/10.1007/978-3-319-72971-8
Format: Electronic Resources

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2024-05-25T15:09:49Z

by Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999
https://doi.org/10.1007/978-3-319-99241-9
Format: Electronic Resources

Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings

2024-05-25T15:09:49Z

by Pahl, Claus. editor.
https://doi.org/10.1007/978-3-030-03596-9
Format: Electronic Resources

Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2024-05-25T15:09:49Z

by Yang, Alvin. editor.
https://doi.org/10.1007/978-3-319-94472-2
Format: Electronic Resources

Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

2024-05-25T15:09:49Z

by Fortino, Giancarlo. editor.
https://doi.org/10.1007/978-3-319-97795-9
Format: Electronic Resources

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2024-05-25T15:09:49Z

by Shen, Xipeng. editor.
https://doi.org/10.1007/978-3-319-29778-1
Format: Electronic Resources

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

2024-05-25T15:09:49Z

by Rayadurgam, Sanjai. editor.
https://doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2024-05-25T15:09:49Z

by Wittevrongel, Sabine. editor.
https://doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources

Internetware A New Software Paradigm for Internet Computing

2024-05-25T15:09:49Z

by Mei, Hong. author.
https://doi.org/10.1007/978-981-10-2546-4
Format: Electronic Resources

Transactions on Modularity and Composition I

2024-05-25T15:09:49Z

by Chiba, Shigeru. editor.
https://doi.org/10.1007/978-3-319-46969-0
Format: Electronic Resources

Architecture of Computing Systems – ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings

2024-05-25T15:09:49Z

by Brinkschulte, Uwe. editor.
http://dx.doi.org/10.1007/978-3-540-78153-0
Format: Electronic Resources

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

2024-05-25T15:09:49Z

by Hee, Kees M. editor.
http://dx.doi.org/10.1007/978-3-540-68746-7
Format: Electronic Resources

Dependability Metrics Advanced Lectures

2024-05-25T15:09:49Z

by Eusgeld, Irene. editor.
http://dx.doi.org/10.1007/978-3-540-68947-8
Format: Electronic Resources

Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

2024-05-25T15:09:49Z

by Shen, Weiming. editor.
http://dx.doi.org/10.1007/978-3-540-92719-8
Format: Electronic Resources

E-Government Ict Professionalism and Competences Service Science

2024-05-25T15:09:49Z

by Mazzeo, Antonino. editor.
http://dx.doi.org/10.1007/978-0-387-09712-1
Format: Electronic Resources

Moving Wearables into the Mainstream Taming the Borg

2024-05-25T15:09:49Z

by Dvorak, Joseph L. author.
http://dx.doi.org/10.1007/978-0-387-69142-8
Format: Electronic Resources

Principles of the Spin Model Checker

2024-05-25T15:09:49Z

by Ben-Ari, Mordechai. author.
http://dx.doi.org/10.1007/978-1-84628-770-1
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

2024-05-25T15:09:49Z

by Suzuki, Kenji. editor.
http://dx.doi.org/10.1007/978-3-540-68855-6
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

2024-05-25T15:09:49Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/978-3-540-68863-1
Format: Electronic Resources

Systems and Virtualization Management. Standards and New Technologies Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings

2024-05-25T15:09:49Z

by Boursas, Latifa. editor.
http://dx.doi.org/10.1007/978-3-540-88708-9
Format: Electronic Resources

Secure Transaction Protocol Analysis Models and Applications

2024-05-25T15:09:49Z

by Chen, Qingfeng. author.
http://dx.doi.org/10.1007/978-3-540-85074-8
Format: Electronic Resources

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

2024-05-25T15:09:49Z

by Ramalingam, G. editor.
http://dx.doi.org/10.1007/978-3-540-89330-1
Format: Electronic Resources

The Testing Network An Integral Approach to Test Activities in Large Software Projects

2024-05-25T15:09:49Z

by Henry, Pierre. author.
http://dx.doi.org/10.1007/978-3-540-78504-0
Format: Electronic Resources

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

2024-05-25T15:09:49Z

by Boer, Frank S. editor.
http://dx.doi.org/10.1007/978-3-540-92188-2
Format: Electronic Resources

Web Component Development with Zope 3

2024-05-25T15:09:49Z

by Weitershausen, Philipp. author.
http://dx.doi.org/10.1007/978-3-540-76448-9
Format: Electronic Resources

Architecting Dependable Systems V

2024-05-25T15:09:49Z

by Lemos, Rogério. editor.
http://dx.doi.org/10.1007/978-3-540-85571-2
Format: Electronic Resources

Middleware 2008 ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings

2024-05-25T15:09:49Z

by Issarny, Valérie. editor.
http://dx.doi.org/10.1007/978-3-540-89856-6
Format: Electronic Resources

Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers

2024-05-25T15:09:49Z

by Hirschfeld, Robert. editor.
http://dx.doi.org/10.1007/978-3-540-89275-5
Format: Electronic Resources

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

2024-05-25T15:09:49Z

by Meier, René. editor.
http://dx.doi.org/10.1007/978-3-540-68642-2
Format: Electronic Resources

Ajax in Oracle JDeveloper

2024-05-25T15:09:49Z

by Vohra, Deepak. author.
http://dx.doi.org/10.1007/978-3-540-77596-6
Format: Electronic Resources

Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings

2024-05-25T15:09:49Z

by Luo, Yuhua. editor.
http://dx.doi.org/10.1007/978-3-540-88011-0
Format: Electronic Resources

Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings

2024-05-25T15:09:49Z

by Wu, Song. editor.
http://dx.doi.org/10.1007/978-3-540-68083-3
Format: Electronic Resources

Distributed and Parallel Systems In Focus: Desktop Grid Computing

2024-05-25T15:09:49Z

by Kacsuk, Péter. editor.
http://dx.doi.org/10.1007/978-0-387-79448-8
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

2024-05-25T15:09:49Z

by Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-540-69149-5
Format: Electronic Resources

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2024-05-25T15:09:49Z

by Prodan, Radu. author.
http://dx.doi.org/10.1007/978-3-540-69262-1
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

2024-05-25T15:09:49Z

by Derrick, John. editor.
http://dx.doi.org/10.1007/978-3-540-73196-2
Format: Electronic Resources

Distributed Services with OpenAFS for Enterprise and Education

2024-05-25T15:09:49Z

by Milicchio, Franco. author.
http://dx.doi.org/10.1007/978-3-540-36634-8
Format: Electronic Resources

Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

2024-05-25T15:09:49Z

by Shen, Weiming. editor.
http://dx.doi.org/10.1007/978-3-540-72863-4
Format: Electronic Resources

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-05-25T15:09:49Z

by Indulska, Jadwiga. editor.
http://dx.doi.org/10.1007/978-3-540-72883-2
Format: Electronic Resources

Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings

2024-05-25T15:09:49Z

by Stojmenovic, Ivan. editor.
http://dx.doi.org/10.1007/978-3-540-74742-0
Format: Electronic Resources

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

2024-05-25T15:09:49Z

by Boer, Frank S. editor.
http://dx.doi.org/10.1007/978-3-540-74792-5
Format: Electronic Resources

Distributed and Parallel Systems From Cluster to Grid Computing

2024-05-25T15:09:49Z

by Kacsuk, Péter. editor.
http://dx.doi.org/10.1007/978-0-387-69858-8
Format: Electronic Resources

Workflows for e-Science Scientific Workflows for Grids

2024-05-25T15:09:49Z

by Taylor, Ian J. editor.
http://dx.doi.org/10.1007/978-1-84628-757-2
Format: Electronic Resources

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings

2024-05-25T15:09:49Z

by Cérin, Christophe. editor.
http://dx.doi.org/10.1007/978-3-540-72360-8
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

2024-05-25T15:09:49Z

by Paillier, Pascal. editor.
http://dx.doi.org/10.1007/978-3-540-74735-2
Format: Electronic Resources

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

2024-05-25T15:09:49Z

by Shao, Zhong. editor.
http://dx.doi.org/10.1007/978-3-540-76637-7
Format: Electronic Resources

Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings

2024-05-25T15:09:49Z

by Cerqueira, Renato. editor.
http://dx.doi.org/10.1007/978-3-540-76778-7
Format: Electronic Resources

Self-Organizing Systems Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings

2024-05-25T15:09:49Z

by Hutchison, David. editor.
http://dx.doi.org/10.1007/978-3-540-74917-2
Format: Electronic Resources

Ruby on Rails for PHP and Java Developers

2024-05-25T15:09:49Z

by Vohra, Deepak. author.
http://dx.doi.org/10.1007/978-3-540-73145-0
Format: Electronic Resources

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings

2024-05-25T15:09:49Z

by Lee, Yann-Hang. editor.
http://dx.doi.org/10.1007/978-3-540-72685-2
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-05-25T15:09:49Z

by Bonsangue, Marcello M. editor.
http://dx.doi.org/10.1007/978-3-540-72952-5
Format: Electronic Resources

Architecting Dependable Systems IV

2024-05-25T15:09:49Z

by Lemos, Rogério. editor.
http://dx.doi.org/10.1007/978-3-540-74035-3
Format: Electronic Resources

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

2024-05-25T15:09:49Z

by Kleijn, Jetty. editor.
http://dx.doi.org/10.1007/978-3-540-73094-1
Format: Electronic Resources

Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings

2024-05-25T15:09:49Z

by Lukowicz, Paul. editor.
http://dx.doi.org/10.1007/978-3-540-71270-1
Format: Electronic Resources

Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers

2024-05-25T15:09:49Z

by Minden, Gary J. editor.
http://dx.doi.org/10.1007/978-3-540-71500-9
Format: Electronic Resources

Information Security 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings

2024-05-25T15:09:49Z

by Garay, Juan A. editor.
http://dx.doi.org/10.1007/978-3-540-75496-1
Format: Electronic Resources

Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings

2024-05-25T15:09:49Z

by Tovar, Eduardo. editor.
http://dx.doi.org/10.1007/978-3-540-77096-1
Format: Electronic Resources

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-05-25T15:09:49Z

by Brueckner, Sven A. editor.
http://dx.doi.org/10.1007/978-3-540-69868-5
Format: Electronic Resources

Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings

2024-05-25T15:09:49Z

by Luo, Yuhua. editor.
http://dx.doi.org/10.1007/978-3-540-74780-2
Format: Electronic Resources

Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007. Proceedings

2024-05-25T15:09:49Z

by Li, Keqiu. editor.
http://dx.doi.org/10.1007/978-3-540-74784-0
Format: Electronic Resources

Web Component Development with Zope 3

2024-05-25T15:09:49Z

by Weitershausen, Philipp. author.
http://dx.doi.org/10.1007/978-3-540-33808-6
Format: Electronic Resources

Formal Models of Operating System Kernels

2024-05-25T15:09:49Z

by Craig, Iain D. author.
http://dx.doi.org/10.1007/978-1-84628-718-3
Format: Electronic Resources

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy

2024-05-25T15:09:49Z

by Damiani, Ernesto. editor.
http://dx.doi.org/10.1007/0-387-34226-5
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

2024-05-25T15:09:49Z

by Goubin, Louis. editor.
http://dx.doi.org/10.1007/11894063
Format: Electronic Resources

Advanced Topics in Exception Handling Techniques

2024-05-25T15:09:49Z

by Dony, Christophe. editor.
http://dx.doi.org/10.1007/11818502
Format: Electronic Resources

Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings

2024-05-25T15:09:49Z

by Shvartsman, Mariam Momenzadeh Alexander A. editor.
http://dx.doi.org/10.1007/11945529
Format: Electronic Resources

Parallel and Distributed Processing and Applications 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings

2024-05-25T15:09:49Z

by Guo, Minyi. editor.
http://dx.doi.org/10.1007/11946441
Format: Electronic Resources

Middleware 2006 ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006. Proceedings

2024-05-25T15:09:49Z

by Steen, Maarten. editor.
http://dx.doi.org/10.1007/11925071
Format: Electronic Resources

Rigorous Development of Complex Fault-Tolerant Systems

2024-05-25T15:09:49Z

by Butler, Michael. editor.
http://dx.doi.org/10.1007/11916246
Format: Electronic Resources

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

2024-05-25T15:09:49Z

by Kobayashi, Naoki. editor.
http://dx.doi.org/10.1007/11924661
Format: Electronic Resources

Information Networking. Advances in Data Communications and Wireless Networks International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers

2024-05-25T15:09:49Z

by Chong, Ilyoung. editor.
http://dx.doi.org/10.1007/11919568
Format: Electronic Resources

Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performance

2024-05-25T15:09:49Z

by Dyke, Julian. author.
http://dx.doi.org/10.1007/978-1-4302-0214-1
Format: Electronic Resources

Access Control Systems Security, Identity Management and Trust Models

2024-05-25T15:09:49Z

by Benantar, Messaoud. author.
http://dx.doi.org/10.1007/0-387-27716-1
Format: Electronic Resources

Autonomic and Trusted Computing Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings

2024-05-25T15:09:49Z

by Yang, Laurence T. editor.
http://dx.doi.org/10.1007/11839569
Format: Electronic Resources

Virtual Machines

2024-05-25T15:09:49Z

by Craig, Iain D. author.
http://dx.doi.org/10.1007/978-1-84628-246-1
Format: Electronic Resources

Enterprise Service Oriented Architectures Concepts, Challenges, Recommendations

2024-05-25T15:09:49Z

by McGovern, James. author.
http://dx.doi.org/10.1007/1-4020-3705-8
Format: Electronic Resources

UbiComp 2006: Ubiquitous Computing 8th International Conference, UbiComp 2006 Orange County, CA, USA, September 17-21, 2006 Proceedings

2024-05-25T15:09:49Z

by Dourish, Paul. editor.
http://dx.doi.org/10.1007/11853565
Format: Electronic Resources

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings

2024-05-25T15:09:49Z

by Grass, Werner. editor.
http://dx.doi.org/10.1007/11682127
Format: Electronic Resources

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings

2024-05-25T15:09:49Z

by Clark, John A. editor.
http://dx.doi.org/10.1007/11734666
Format: Electronic Resources

Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings

2024-05-25T15:09:49Z

by Chung, Yeh-Ching. editor.
http://dx.doi.org/10.1007/11745693
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

2024-05-25T15:09:49Z

by Najm, Elie. editor.
http://dx.doi.org/10.1007/11888116
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-05-25T15:09:49Z

by Gorrieri, Roberto. editor.
http://dx.doi.org/10.1007/11768869
Format: Electronic Resources

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

2024-05-25T15:09:49Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/11741060
Format: Electronic Resources

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

2024-05-25T15:09:49Z

by Reussner, Ralf H. editor.
http://dx.doi.org/10.1007/11786160
Format: Electronic Resources

Self-Organizing Systems First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings

2024-05-25T15:09:49Z

by Meer, Hermann. editor.
http://dx.doi.org/10.1007/11822035
Format: Electronic Resources

Information Security 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings

2024-05-25T15:09:49Z

by Katsikas, Sokratis K. editor.
http://dx.doi.org/10.1007/11836810
Format: Electronic Resources

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

2024-05-25T15:09:49Z

by Shen, Wei-ming. editor.
http://dx.doi.org/10.1007/11686699
Format: Electronic Resources

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings

2024-05-25T15:09:49Z

by Lightfoot, David E. editor.
http://dx.doi.org/10.1007/11860990
Format: Electronic Resources

Information Security Applications 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers

2024-05-25T15:09:49Z

by Song, Joo-Seok. editor.
http://dx.doi.org/10.1007/11604938
Format: Electronic Resources

Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

2024-05-25T15:09:49Z

by Brueckner, Sven A. editor.
http://dx.doi.org/10.1007/11734697
Format: Electronic Resources

Pervasive Computing 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings

2024-05-25T15:09:49Z

by Fishkin, Kenneth P. editor.
http://dx.doi.org/10.1007/11748625
Format: Electronic Resources

Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

2024-05-25T15:09:49Z

by Dunne, Steve. editor.
http://dx.doi.org/10.1007/11768173
Format: Electronic Resources

High Availability and Disaster Recovery Concepts, Design, Implementation

2024-05-25T15:09:49Z

by Schmidt, Klaus. author.
http://dx.doi.org/10.1007/3-540-34582-5
Format: Electronic Resources

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

2024-05-25T15:09:49Z

by Donatelli, Susanna. editor.
http://dx.doi.org/10.1007/11767589
Format: Electronic Resources

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-05-25T15:09:49Z

by Eliassen, Frank. editor.
http://dx.doi.org/10.1007/11773887
Format: Electronic Resources

Principles of Distributed Systems 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers

2024-05-25T15:09:49Z

by Anderson, James H. editor.
http://dx.doi.org/10.1007/11795490
Format: Electronic Resources

Distributed Event-Based Systems

2024-05-25T15:09:49Z

by Mühl, Gero. author.
http://dx.doi.org/10.1007/3-540-32653-7
Format: Electronic Resources

Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings

2024-05-25T15:09:49Z

by Luo, Yuhua. editor.
http://dx.doi.org/10.1007/11863649
Format: Electronic Resources

Wired/Wireless Internet Communications 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006. Proceedings

2024-05-25T15:09:49Z

by Braun, Torsten. editor.
http://dx.doi.org/10.1007/11750390
Format: Electronic Resources

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

2024-05-25T15:09:49Z

by Boer, Frank S. editor.
http://dx.doi.org/10.1007/11804192
Format: Electronic Resources

Data and Applications Security XX 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings

2024-05-25T15:09:49Z

by Damiani, Ernesto. editor.
http://dx.doi.org/10.1007/11805588
Format: Electronic Resources

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program

2024-05-25T15:09:49Z

by Kohlas, Jürg. editor.
http://dx.doi.org/10.1007/11808107
Format: Electronic Resources

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

2024-05-25T15:09:49Z

by Roy, Peter. editor.
http://dx.doi.org/10.1007/b106627
Format: Electronic Resources

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings

2024-05-25T15:09:49Z

by Jin, Hai. editor.
http://dx.doi.org/10.1007/11577188
Format: Electronic Resources

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

2024-05-25T15:09:49Z

by Yi, Kwangkeun. editor.
http://dx.doi.org/10.1007/11575467
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-05-25T15:09:49Z

by Steffen, Martin. editor.
http://dx.doi.org/10.1007/b136996
Format: Electronic Resources

New Horizons of Parallel and Distributed Computing

2024-05-25T15:09:49Z

by Guo, Minyi. editor.
http://dx.doi.org/10.1007/0-387-28967-4
Format: Electronic Resources

Soft Real-Time Systems Predictability vs. Efficiency

2024-05-25T15:09:49Z

by Buttazzo, Giorgio. author.
http://dx.doi.org/10.1007/0-387-28147-9
Format: Electronic Resources

From Specification to Embedded Systems Application

2024-05-25T15:09:49Z

by Rettberg, Achim. editor.
http://dx.doi.org/10.1007/11523277
Format: Electronic Resources

Expert Oracle

2024-05-25T15:09:49Z

by Kyte, Thomas. author.
http://dx.doi.org/10.1007/978-1-4302-0019-2
Format: Electronic Resources

Analyzing Computer System Performance with Perl::PDQ

2024-05-25T15:09:49Z

by Gunther, Neil J. author.
http://dx.doi.org/10.1007/978-3-540-26860-4
Format: Electronic Resources

Distributed Computing - IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings

2024-05-25T15:09:49Z

by Sen, Arunabha. editor.
http://dx.doi.org/10.1007/b104419
Format: Electronic Resources

Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings

2024-05-25T15:09:49Z

by Cao, Jiannong. editor.
http://dx.doi.org/10.1007/b104574
Format: Electronic Resources

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

2024-05-25T15:09:49Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/b105030
Format: Electronic Resources

UbiComp 2005: Ubiquitous Computing 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005. Proceedings

2024-05-25T15:09:49Z

by Beigl, Michael. editor.
http://dx.doi.org/10.1007/11551201
Format: Electronic Resources

Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

2024-05-25T15:09:49Z

by Maziero, Carlos Alberto. editor.
http://dx.doi.org/10.1007/11572329
Format: Electronic Resources

Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-05-25T15:09:49Z

by Kutvonen, Lea. editor.
http://dx.doi.org/10.1007/b137217
Format: Electronic Resources

Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

2024-05-25T15:09:49Z

by Higashino, Teruo. editor.
http://dx.doi.org/10.1007/b138689
Format: Electronic Resources

Information Security Applications 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers

2024-05-25T15:09:49Z

by Lim, Chae Hoon. editor.
http://dx.doi.org/10.1007/b103174
Format: Electronic Resources

Wired/Wireless Internet Communications Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005. Proceedings

2024-05-25T15:09:49Z

by Braun, Torsten. editor.
http://dx.doi.org/10.1007/b136247
Format: Electronic Resources

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

2024-05-25T15:09:49Z

by Wu, Zhaohui. editor.
http://dx.doi.org/10.1007/11535409
Format: Electronic Resources

Component-Based Software Development for Embedded Systems An Overview of Current Research Trends

2024-05-25T15:09:49Z

by Atkinson, Colin. editor.
http://dx.doi.org/10.1007/11591962
Format: Electronic Resources

Scientific Applications of Grid Computing First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers

2024-05-25T15:09:49Z

by Herrero, Pilar. editor.
http://dx.doi.org/10.1007/b136149
Format: Electronic Resources

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

2024-05-25T15:09:49Z

by Ciardo, Gianfranco. editor.
http://dx.doi.org/10.1007/b136988
Format: Electronic Resources

Architecting Dependable Systems III

2024-05-25T15:09:49Z

by Lemos, Rogério. editor.
http://dx.doi.org/10.1007/11556169
Format: Electronic Resources

Data and Applications Security XIX 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedings

2024-05-25T15:09:49Z

by Jajodia, Sushil. editor.
http://dx.doi.org/10.1007/11535706
Format: Electronic Resources

Information Networking. Convergence in Broadband and Mobile Networking International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005. Proceedings

2024-05-25T15:09:49Z

by Kim, Cheeha. editor.
http://dx.doi.org/10.1007/b105584
Format: Electronic Resources

Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers

2024-05-25T15:09:49Z

by Konagaya, Akihiko. editor.
http://dx.doi.org/10.1007/b106923
Format: Electronic Resources

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

2024-05-25T15:09:49Z

by Ramos, Félix F. editor.
http://dx.doi.org/10.1007/11533962
Format: Electronic Resources

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

2024-05-25T15:09:49Z

by Priami, Corrado. editor.
http://dx.doi.org/10.1007/b103251
Format: Electronic Resources

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

2024-05-25T15:09:49Z

by Rust, Heinrich. author.
http://dx.doi.org/10.1007/978-3-540-32008-1
Format: Electronic Resources

Peer-to-Peer Systems III Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers

2024-05-25T15:09:49Z

by Voelker, Geoffrey M. editor.
http://dx.doi.org/10.1007/b104020
Format: Electronic Resources

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

2024-05-25T15:09:49Z

by Boer, Frank S. editor.
http://dx.doi.org/10.1007/11561163
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

2024-05-25T15:09:49Z

by Rao, Josyula R. editor.
http://dx.doi.org/10.1007/11545262
Format: Electronic Resources

Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

2024-05-25T15:09:49Z

by Shen, Weiming. editor.
http://dx.doi.org/10.1007/11568421
Format: Electronic Resources

Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings

2024-05-25T15:09:49Z

by Yang, Laurence T. editor.
http://dx.doi.org/10.1007/11599555
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

2024-05-25T15:09:49Z

by Wang, Farn. editor.
http://dx.doi.org/10.1007/11562436
Format: Electronic Resources

Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings

2024-05-25T15:09:49Z

by Pal, Ajit. editor.
http://dx.doi.org/10.1007/11603771
Format: Electronic Resources

Engineering Self-Organising Systems Methodologies and Applications

2024-05-25T15:09:49Z

by Brueckner, Sven A. editor.
http://dx.doi.org/10.1007/b136984
Format: Electronic Resources

Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers

2024-05-25T15:09:49Z

by Castro, Miguel. editor.
http://dx.doi.org/10.1007/11558989
Format: Electronic Resources

Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings

2024-05-25T15:09:49Z

by Hutter, Dieter. editor.
http://dx.doi.org/10.1007/b135497
Format: Electronic Resources

Pervasive Computing Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005. Proceedings

2024-05-25T15:09:49Z

by Gellersen, Hans -W. editor.
http://dx.doi.org/10.1007/b136550
Format: Electronic Resources

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers

2024-05-25T15:09:49Z

by Sloot, Peter M. A. editor.
http://dx.doi.org/10.1007/b137919
Format: Electronic Resources

Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings

2024-05-25T15:09:49Z

by Alonso, Gustavo. editor.
http://dx.doi.org/10.1007/11587552
Format: Electronic Resources

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings

2024-05-25T15:09:49Z

by Beigl, Michael. editor.
http://dx.doi.org/10.1007/b106632
Format: Electronic Resources

Grid and Cooperative Computing - GCC 2005 4th International Conference, Beijing, China, November 30 - December 3, 2005. Proceedings

2024-05-25T15:09:49Z

by Zhuge, Hai. editor.
http://dx.doi.org/10.1007/11590354
Format: Electronic Resources

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings

2024-05-25T15:09:49Z

by Dearle, Alan. editor.
http://dx.doi.org/10.1007/11590712
Format: Electronic Resources

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

2024-05-25T15:09:49Z

by Nicola, Rocco. editor.
http://dx.doi.org/10.1007/11580850
Format: Electronic Resources

Embedded Systems Design The ARTIST Roadmap for Research and Development

2024-05-25T15:09:49Z

by Bouyssounouse, Bruno. author.
http://dx.doi.org/10.1007/b106761
Format: Electronic Resources

Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

2024-05-25T15:09:49Z

by Luo, Yuhua. editor.
http://dx.doi.org/10.1007/11555223
Format: Electronic Resources

Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings

2024-05-25T15:09:49Z

by Pan, Yi. editor.
http://dx.doi.org/10.1007/11576235
Format: Electronic Resources

Web Component Development with Zope 3

2024-05-25T15:09:49Z

by Weitershausen, Philipp. author.
http://dx.doi.org/10.1007/b139044
Format: Electronic Resources