Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the 19th International Conference on Logic Programming, ICLP 2003, which was held at the Tata Institute of F- damental Research in Mumbai, India, during 9–13 December, 2003. ICLP 2003 was colocated with the 8th Asian Computing Science Conference, ASIAN 2003, andwasfollowedbythe23rdConferenceonFoundationsofSoftwareTechnology and Theoretical Computer Science, FSTTCS 2003. The latter event was hosted by the Indian Institute of Technology in Mumbai. In addition, there were ?ve satellite workshops associated with ICLP 2003: – PPSWR 2003, Principles and Practice of Semantic Web Reasoning, 8th Dec. 2003, organized by Fran¸ cois Bry, Nicola Henze, and Jan Maluszynski. – COLOPS 2003, COnstraint & LOgic Programming in Security, 8th Dec. 2003, organized by Martin Leucker, Justin Pearson, Fred Spiessens, and Frank D. Valencia. – WLPE 2003, Workshop on Logic Programming Environments, organized by Alexander Serebrenik and Fred Mesnard. – CICLOPS2003,ImplementationofConstraintandLOgicProgrammingS- tems, 14th Dec. 2003, organized by Michel Ferreira and Ricardo Lopes. – SVV 2003, Software Veri?cation and Validation, 14th Dec. 2003, organized by Sandro Etalle, Supratik Mukhopadhyay, and Abhik Roychoudhury.

Logic programming --- Programmation logique --- Congresses. --- Congrès --- Computer science. --- Logic design. --- Artificial intelligence. --- Computer Science. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- 681.3*D16 <063> --- 681.3*I23 <063> --- 681.3*I24 <063> --- 681.3*D3 <063> --- 681.3*F3 --- 681.3*F4 --- Computer science--?*D16 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- Programming languages--Congressen --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D3 <063> Programming languages--Congressen --- 681.3*I24 <063> Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Software Engineering/Programming and Operating Systems. --- 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 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Programming languages (Electronic computers) --- Logic, Symbolic and mathematical.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Complex analysis --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- DES (data encryption standard) --- complexe analyse (wiskunde) --- informatica --- maatschappij --- programmeertalen --- software engineering --- computernetwerken

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Symposium on Trustworthy Global Computing, TGC 2012, held in Newcastle upon Tyne, UK, in September 2012. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 14 submissions. The papers cover a wide range of topics in the area of global computing and reliable computation in the so-called global computers, i.e., those computational abstractions emerging in large-scale infrastructures such as service-oriented architectures, autonomic systems and cloud computing, providing frameworks, tools, algorithms and protocols for designing open-ended, large-scale applications and for reasoning about their behavior and properties in a rigorous way.

Engineering & Applied Sciences --- Computer Science --- Computer science. --- Computer communication systems. --- Software engineering. --- Data encryption (Computer science). --- Coding theory. --- Algorithms. --- Management information systems. --- Computer Science. --- Data Encryption. --- Computer Communication Networks. --- Management of Computing and Information Systems. --- Algorithm Analysis and Problem Complexity. --- Software Engineering. --- Coding and Information Theory. --- Computer security --- Computer networks --- Computer software --- Security measures --- Validation --- Software, Computer --- Computer systems --- Information Systems. --- Computer software. --- Cryptology. --- Data compression (Telecommunication) --- Digital electronics --- Information theory --- Machine theory --- Signal theory (Telecommunication) --- Computer programming --- Computer software engineering --- Engineering --- Data encoding (Computer science) --- Encryption of data (Computer science) --- Cryptography --- Information theory. --- Communication theory --- Communication --- Cybernetics --- Algorism --- Algebra --- Arithmetic --- Informatics --- Science --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- 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 --- Electronic data processing --- Network computers --- Foundations --- Communication systems --- Distributed processing --- Cryptography. --- Computer networks. --- Electronic data processing—Management. --- IT Operations. --- Cryptanalysis --- Cryptology --- Secret writing --- Steganography --- Signs and symbols --- Symbolism --- Writing --- Ciphers --- Data encryption (Computer science)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991. The following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL), Nice (F), and Eindhoven (NL). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664.

Parallel processing (Electronic computers) --- Multitasking (Computer science) --- Parallélisme (Informatique) --- Fonctionnement multitâche --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Computer multitasking --- Parallélisme (Informatique) --- Fonctionnement multitâche --- Congrès --- Computer science. --- Computer communication systems. --- Architecture, Computer. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Programming Techniques. --- Computer Communication Networks. --- Computer network architectures. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- 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 --- Electronic data processing --- Network computers --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Architecture, Computer --- Distributed processing --- Programming --- Parallel processing (Electronic computers) - Congresses --- Computer multitasking - Congresses --- Computer architecture. --- Programming languages (Electronic computers) --- Computer networks.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International Conference on Algebraic and Logic Programming, ALP'98, in Pisa, Italy, in September 1998. The 26 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. Also included are two invited papers and abstracts of two tutorials. The papers are organized in topical sections on verification, logic programming, static analysis, software methodologies, object oriented programming, term rewriting, functional programming, metaprogramming, optimal evaluation, integration, and constraint solving.

Declarative programming --- Congresses --- 681.3*D1 <063> --- 681.3*D3 <063> --- 681.3*F3 <063> --- 681.3*F4 <063> --- 681.3*I13 <063> --- 681.3*I21 --- 681.3*K32 <063> --- 681.3*I21 Applications and expert systems (Artificial intelligence). Cartography. Games. Industrial automation. Law. Medicine and science. Natural language interfaces. Office automation--See also {681.3*H4}; {681.3*J} --- Applications and expert systems (Artificial intelligence). Cartography. Games. Industrial automation. Law. Medicine and science. Natural language interfaces. Office automation--See also {681.3*H4}; {681.3*J} --- 681.3*D3 <063> Programming languages--Congressen --- Programming languages--Congressen --- Computer programming --- Programming techniques--See also {681.3*E}--Congressen --- Logics and meanings of programs (Theory of computation)--Congressen --- Mathematical logic and formal languages (Theory of computation)--Congressen --- Languages and systems: evaluation strategies; nonprocedural languages; special-purpose algebraic systems and hardware; substitution mechanisms (Algebraic manipulation; computing methodologies)--See also {681.3*D32}; {681.3*D33}; {681.3*F22}--Congressen --- Computer and information science education: curriculum; self-assessment--Congressen --- Computer science. --- Logic design. --- Artificial intelligence. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence. --- Programming languages (Electronic computers). --- Computer logic. --- Computer programming. --- Mathematical logic. --- 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 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming --- Declarative programming - Congresses --- Programming languages (Electronic computers) --- Logic, Symbolic and mathematical.