Listing 1 - 10 of 11 | << page >> |
Sort by
|
Choose an application
Complex analysis --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- complexe analyse (wiskunde) --- informatica --- informatica management --- computernetwerken
Choose an application
This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007, held in Paris, France, November 14-16, 2007. The 27 regular papers presented together with the extended abstracts of 3 invited lectures were carefully reviewed and selected from 64 submissions. The papers address all aspects of self-stabilization, safety and security, recovery oriented systems and programing, from theoretical contributions, to reports of the actual experience of applying the principles of self-stabilization to static and dynamic systems.
Self-stabilization (Computer science) --- Distributed operating systems (Computers) --- Autostabilisation (Informatique) --- Systèmes d'exploitation répartis --- Congresses. --- Security measures --- Congrès --- Sécurité --- Mesures --- Electronic data processing --- Computer security --- Telecommunications --- Computer Science --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Distributed processing --- Information Technology --- Computer Science (Hardware & Networks) --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Computers. --- Algorithms. --- Artificial intelligence. --- Management information systems. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Management of Computing and Information Systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Special purpose computers --- Computers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Communication systems --- Foundations --- Software engineering. --- Computer software. --- Information Systems. --- Artificial Intelligence. --- Software, Computer --- Computer software engineering --- Engineering --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Computer algorithms --- Fault-tolerant computing --- Automation --- Computer networks. --- Computers, Special purpose. --- Electronic data processing—Management. --- Theory of Computation. --- IT Operations.
Choose an application
This volume contains the 27 regular papers and the abstracts of three invited keynotes that were presented at the Ninth International Symposium on Sta- lization,Safety,andSecurityofDistributedSystems(SSS)heldNovember14-16, 2007 in Paris, France. SSS, the International Symposium on Stabilization, Safety, and Security of Distributed Systems, is a prestigious international forum for researchers and practitioners in design and development of fault-tolerant distributed systems with self-* properties, such as self-stabilizing, self-con?guring, self-organizing, self-managing, self-repairing, self-healing, self-optimizing, self-adaptive, and self-protectingproperties. ItstartedastheWorkshoponSelf-StabilizingSystems (WSS),whichwas?rstheldatAustinin1989. FromthesecondWSSinLasVegas in 1995, the forum was held biennially, at Santa Barbara (1997), Austin (1999), Lisbon (2001), San Francisco (2003), and Barcelona (2005). With the growth of the research ?eld of self-stabilization, the title of the forum changed to the Symposium on Self-Stabilizing Systems (SSS) in 2003. Since 2005, SSS was run annually to encourage the rapid and sustained growth of the ?eld, and the 2006 edition was held in Dallas. In 2006,following the demand for self-stabilization in various areas of distributed computing including peer-to-peer networks, wireless sensor networks, mobile ad hoc networks,and robotic networks, the scope of the symposiumwasextended to coverallsafetyand security-relatedaspects ofself-* systems. The title of the symposium changed to the International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). Thisyear,wereceived64submissionsfrom22countries. Eachsubmissionwas carefully reviewed by four to six Program Committee members with the help of externalreviewers,andtheProgramCommitteeselectedthe27papers.
Complex analysis --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- complexe analyse (wiskunde) --- informatica --- informatica management --- computernetwerken
Choose an application
Complex analysis --- Computer science --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- beeldverwerking --- ICT (informatie- en communicatietechnieken) --- complexe analyse (wiskunde) --- informatica --- informatiesystemen --- informatietechnologie --- KI (kunstmatige intelligentie) --- computernetwerken --- robots
Choose an application
This book contains 30 articles and three abstracts of invited talks presented at The Second International Workshop on Biologically Inspired Approaches for Advanced Information Technology (Bio-ADIT 2006) held at Senri Life Science Center, Osaka, Japan, on January 26–27, 2006. Bio-ADIT 2006 follows the s- cess of the ?rst workshop Bio-ADIT 2004, held at the Swiss Federal Institute of Technology, Lausanne (EPFL), Switzerland, in January 2004. The workshop is intended to provide an e?ective forum for original research results in the ?eld of bio-inspired approaches to advanced information technologies. It also serves to foster the connection between biological paradigms and solutions to building the next-generation information systems. In particular, the aim of the workshop is to explore and discuss how biologically inspired approaches can help in - signing the next generation of information systems which, like their biological counterparts, will be capable of adaptation, self-organization, replication, and self-repair. Wewerehonoredtohavetheparticipationasinvitedspeakersofthreeleading researchers in this ?eld: James C. Liao, Rolf Pfeifer, and Toshio Yanagida. The invitedtalksdealtwiththeveryinterestingsubjectsofbio-inspiredapproachesto information systems, and provided stimulating ideas to the workshop attendees to pursue further research in this exciting ?eld. The articles cover a large range of topics including networking, robotics, evolutionary computation, neural computation, biochemical networks, recon- urable hardware, and machine vision. The contributions range from basic - search in biology and in information technology, to more application-oriented developments in software and in hardware.
Bioinformatics --- Information technology --- Bio-informatique --- Technologie de l'information --- Congresses. --- Congrès --- Computational Biology --- Congresses --- Biology --- Publication Formats --- Publication Characteristics --- Biological Science Disciplines --- Natural Science Disciplines --- Disciplines and Occupations --- Biology - General --- Computer Science --- Engineering & Applied Sciences --- Health & Biological Sciences --- Computer science. --- Computer communication systems. --- Computers. --- Algorithms. --- Artificial intelligence. --- Image processing. --- Computer Science. --- Computation by Abstract Devices. --- Computer Communication Networks. --- Artificial Intelligence (incl. Robotics). --- Algorithm Analysis and Problem Complexity. --- Information Systems Applications (incl. Internet). --- Image Processing and Computer Vision. --- Pictorial data processing --- Picture processing --- Processing, Image --- Imaging systems --- Optical data processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Foundations --- Distributed processing --- Computer software. --- Computer vision. --- Artificial Intelligence. --- Machine vision --- Vision, Computer --- Artificial intelligence --- Image processing --- Pattern recognition systems --- Software, Computer --- Application software. --- Optical data processing. --- Optical computing --- Visual data processing --- Integrated optics --- Photonics --- Computers --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Optical equipment --- Computer networks. --- Theory of Computation. --- Computer and Information Systems Applications. --- Computer Vision.
Choose an application
The 14th International Conference on Principles of Distributed Systems (OPODIS 2010) took place during December 14–17, 2010 in Tozeur, Tunisia. It continued a tradition of successful conferences; Chantilly (1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001), Reims (2002), La Martinique (2003), Gre- ble (2004), Pisa (2005), Bordeaux (2006), Guadeloupe (2007), Luxor (2008) and Nˆ?mes (2009). The OPODIS conference constitutes an open forum for the exchange of sta- of-the-art knowledge on distributed computing and systems among researchers from around the world. Following the tradition of the previous events, the p- gram was composed of high-quality contributed papers. The program call for papers looked for original and signi?cant research contributions to the theory, speci?cation, design and implementation of distributed systems, including: – Communication and synchronization protocols – Distributed algorithms, multiprocessor algorithms – Distributed cooperative computing – Embedded systems – Fault-tolerance, reliability, availability – Grid and cluster computing – Location- and context-aware systems – Mobile agents and autonomous robots – Mobile computing and networks – Peer-to-peer systems, overlay networks – Complexity and lower bounds – Performance analysis of distributed systems – Real-time systems – Security issues in distributed computing and systems – Sensor networks: theory and practice – Speci?cation and veri?cation of distributed systems – Testing and experimentation with distributed systems In response to this call for papers, 122 papers were submitted. Each paper was reviewed by at least three reviewers, and judged according to scienti?c and p- sentation quality, originality and relevance to the conference topics.
Electronic data processing --- Distributed operating systems (Computers) --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Computer Science --- Telecommunications --- Distributed processing --- Information Technology --- Computer Science (Hardware & Networks) --- Computer networks --- Computer science. --- Computer communication systems. --- Software engineering. --- Algorithms. --- Computer science --- Artificial intelligence. --- Computer Science. --- Computer Communication Networks. --- Algorithm Analysis and Problem Complexity. --- Discrete Mathematics in Computer Science. --- Software Engineering. --- Artificial Intelligence (incl. Robotics). --- Symbolic and Algebraic Manipulation. --- Mathematics. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer mathematics --- Discrete mathematics --- Algorism --- Algebra --- Arithmetic --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Mathematics --- Foundations --- Operating systems (Computers) --- Computer software. --- Computational complexity. --- Artificial Intelligence. --- Data processing. --- Complexity, Computational --- Software, Computer --- Computer systems --- Computer science—Mathematics. --- Computer networks. --- Discrete mathematics. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis
Choose an application
This book contains 30 articles and three abstracts of invited talks presented at The Second International Workshop on Biologically Inspired Approaches for Advanced Information Technology (Bio-ADIT 2006) held at Senri Life Science Center, Osaka, Japan, on January 26-27, 2006. Bio-ADIT 2006 follows the s- cess of the ?rst workshop Bio-ADIT 2004, held at the Swiss Federal Institute of Technology, Lausanne (EPFL), Switzerland, in January 2004. The workshop is intended to provide an e?ective forum for original research results in the ?eld of bio-inspired approaches to advanced information technologies. It also serves to foster the connection between biological paradigms and solutions to building the next-generation information systems. In particular, the aim of the workshop is to explore and discuss how biologically inspired approaches can help in - signing the next generation of information systems which, like their biological counterparts, will be capable of adaptation, self-organization, replication, and self-repair. Wewerehonoredtohavetheparticipationasinvitedspeakersofthreeleading researchers in this ?eld: James C. Liao, Rolf Pfeifer, and Toshio Yanagida. The invitedtalksdealtwiththeveryinterestingsubjectsofbio-inspiredapproachesto information systems, and provided stimulating ideas to the workshop attendees to pursue further research in this exciting ?eld. The articles cover a large range of topics including networking, robotics, evolutionary computation, neural computation, biochemical networks, recon- urable hardware, and machine vision. The contributions range from basic - search in biology and in information technology, to more application-oriented developments in software and in hardware.
Complex analysis --- Computer science --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- beeldverwerking --- ICT (informatie- en communicatietechnieken) --- complexe analyse (wiskunde) --- informatica --- informatiesystemen --- informatietechnologie --- KI (kunstmatige intelligentie) --- computernetwerken --- robots
Choose an application
The 14th International Conference on Principles of Distributed Systems (OPODIS 2010) took place during December 14-17, 2010 in Tozeur, Tunisia. It continued a tradition of successful conferences; Chantilly (1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001), Reims (2002), La Martinique (2003), Gre- ble (2004), Pisa (2005), Bordeaux (2006), Guadeloupe (2007), Luxor (2008) and NË?mes (2009). The OPODIS conference constitutes an open forum for the exchange of sta- of-the-art knowledge on distributed computing and systems among researchers from around the world. Following the tradition of the previous events, the p- gram was composed of high-quality contributed papers. The program call for papers looked for original and signi?cant research contributions to the theory, speci?cation, design and implementation of distributed systems, including: - Communication and synchronization protocols - Distributed algorithms, multiprocessor algorithms - Distributed cooperative computing - Embedded systems - Fault-tolerance, reliability, availability - Grid and cluster computing - Location- and context-aware systems - Mobile agents and autonomous robots - Mobile computing and networks - Peer-to-peer systems, overlay networks - Complexity and lower bounds - Performance analysis of distributed systems - Real-time systems - Security issues in distributed computing and systems - Sensor networks: theory and practice - Speci?cation and veri?cation of distributed systems - Testing and experimentation with distributed systems In response to this call for papers, 122 papers were submitted. Each paper was reviewed by at least three reviewers, and judged according to scienti?c and p- sentation quality, originality and relevance to the conference topics.
Mathematical logic --- Complex analysis --- Discrete mathematics --- Mathematics --- Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- algebra --- discrete wiskunde --- complexe analyse (wiskunde) --- informatica --- externe fixatie (geneeskunde --- software engineering --- algoritmen --- KI (kunstmatige intelligentie) --- computernetwerken
Choose an application
The 14th International Conference on Principles of Distributed Systems (OPODIS 2010) took place during December 14–17, 2010 in Tozeur, Tunisia. It continued a tradition of successful conferences; Chantilly (1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001), Reims (2002), La Martinique (2003), Gre- ble (2004), Pisa (2005), Bordeaux (2006), Guadeloupe (2007), Luxor (2008) and Nˆ?mes (2009). The OPODIS conference constitutes an open forum for the exchange of sta- of-the-art knowledge on distributed computing and systems among researchers from around the world. Following the tradition of the previous events, the p- gram was composed of high-quality contributed papers. The program call for papers looked for original and signi?cant research contributions to the theory, speci?cation, design and implementation of distributed systems, including: – Communication and synchronization protocols – Distributed algorithms, multiprocessor algorithms – Distributed cooperative computing – Embedded systems – Fault-tolerance, reliability, availability – Grid and cluster computing – Location- and context-aware systems – Mobile agents and autonomous robots – Mobile computing and networks – Peer-to-peer systems, overlay networks – Complexity and lower bounds – Performance analysis of distributed systems – Real-time systems – Security issues in distributed computing and systems – Sensor networks: theory and practice – Speci?cation and veri?cation of distributed systems – Testing and experimentation with distributed systems In response to this call for papers, 122 papers were submitted. Each paper was reviewed by at least three reviewers, and judged according to scienti?c and p- sentation quality, originality and relevance to the conference topics.
Mathematical logic --- Complex analysis --- Discrete mathematics --- Mathematics --- Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- algebra --- discrete wiskunde --- complexe analyse (wiskunde) --- informatica --- externe fixatie (geneeskunde --- software engineering --- algoritmen --- KI (kunstmatige intelligentie) --- computernetwerken
Choose an application
This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in November 2013. The 23 regular papers and 12 short papers presented were carefully reviewed and selected from 68 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization, fault tolerance and dependability; formal methods and distributed systems; ad-hoc, sensors, mobile agents and robot networks and P2P, social, self-organizing, autonomic and opportunistic networks.
Electrical & Computer Engineering --- Engineering & Applied Sciences --- Telecommunications --- Computer science. --- Computer communication systems. --- Software engineering. --- Computer security. --- Algorithms. --- Computer logic. --- Computer Science. --- Computer Communication Networks. --- Software Engineering. --- Information Systems Applications (incl. Internet). --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Systems and Data Security. --- Self-stabilization (Computer science) --- Electronic data processing --- Computer security --- Distributed processing --- Safety measures --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Computer algorithms --- Fault-tolerant computing --- Automation --- Logic design. --- Computer software. --- Computer privacy --- Computer system security --- Computer systems --- Cyber security --- Cybersecurity --- Electronic digital computers --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Software, Computer --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Protection --- Security measures --- Application software. --- Algorism --- Algebra --- Arithmetic --- Computer science logic --- Logic, Symbolic and mathematical --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Foundations --- Computer networks. --- Data protection. --- Computer and Information Systems Applications. --- Computer Science Logic and Foundations of Programming. --- Data and Information Security. --- Data governance --- Data regulation --- Personal data protection --- Protection, Data --- Informatics --- Science
Listing 1 - 10 of 11 | << page >> |
Sort by
|