Showing 1,221 - 1,240 results of 1,696 for search '"Distributed Systems"', query time: 0.17s Refine Results
  1. 1221
    Advances in Control, Communication Networks, and Transportation Systems In Honor of Pravin Varaiya /
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  2. 1222
    Applications of Evolutionary Computation EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  3. 1223
    Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  4. 1224
    Rural Electrification Strategies for Distributed Generation /
    by Zerriffi, Hisham
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  5. 1225
    Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  6. 1226
    Information Security Applications 13th International Workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012, Revised Selected Papers /
    Published 2012
    Table of Contents: “… Database on Security Enhanced Linux for System High Distributed Systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1227
    Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings /
    Published 2009
    Table of Contents: “… Trustworthy Self-optimization for Distributed Systems -- An Experimental Framework for the Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1228
    Interactive Systems. Design, Specification, and Verification 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers /
    Published 2001
    Table of Contents: “…Designing Interactive Distributed Systems -- Specifying Temporal Behaviour in Software…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1229
    From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl /
    Published 2004
    Table of Contents: “… Institutions -- Towards the Verifying Compiler -- Object-Oriented Specification and Open Distributed Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1230
    Component Deployment IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings /
    Published 2002
    Table of Contents: “… in the Enterprise JavaBean Component Model -- A Component Framework for Dynamic Reconfiguration of Distributed…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1231
    Simulation Methods for Reliability and Availability of Complex Systems
    Published 2010
    Table of Contents: “… Systems -- Power Distribution System Reliability Evaluation Using Both Analytical Reliability Network…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1232
    Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Relays in Power Distribution Systems -- Specification and Verification Using Alloy of Optimistic Access…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1233
    Computational Intelligence and Big Data Analytics Applications in Bioinformatics /
    Table of Contents: “… -- Multiple DG Placement and Sizing in Radial Distribution System using Genetic Algorithm and Particle Swarm…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1234
    Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings /
    Published 2007
    Table of Contents: “… Engineering Models from Traces to Validate Distributed Systems – An Industrial Case Study -- A Model Driven…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1235
    Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
    Published 2012
    Table of Contents: “…ASLan++ — A formal security specification language for distributed Systems -- Orchestration under…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1236
    Innovative Internet Computing Systems International Workshop IICS 2001 Ilmenau, Germany, June 21-22, 2001 Proceedings /
    Published 2001
    Table of Contents: “…-Replacement Scheme for Distributed Systems -- Agents Based Collaborative Framework for B2C Business Model…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1237
    Theorem Proving in Higher Order Logics 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings /
    Published 2004
    Table of Contents: “… for Fault-Tolerant Distributed System Verification -- Formalizing Integration Theory with an Application…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1238
    Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /
    Published 2012
    Table of Contents: “…Taming Distributed System Complexity through Formal Patterns -- Composing Safe Systems -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1239
    Advances in Biomedical Sensing, Measurements, Instrumentation and Systems
    Published 2010
    Table of Contents: “…Distributed System Architecture Using a Prototype Web E-Nose -- Magnetic Fluids for Bio-medical…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1240
    Advanced Parallel Processing Technologies 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Systems -- Software and Theory -- A Formal Specification and Method for MAS as a Distributed System…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search