Home  - Science - Temporal Logic

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

21-40 of 110    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Temporal Logic:     more books (100)

Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science) Executing Temporal Logic Programs by Ben C. Moszkowski, 1986-03-31 Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series) by Fred Kröger, 1987-05-18 Advances in Temporal Logic (APPLIED LOGIC SERIES Volume 16) by Howard Barringer, Michael Fisher, et all 1999-12-16 Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy) by Peter Øhrstrøm, Per Hasle, 2010-11-02 Temporal Logic, Omniscience, Human Freedom - Perspectives in Analytic Philosophy (Europaische Hochschulschriften Reihe XX, Philosophie) by Boniface Enyeribe Nwigwe, 1991-06 Temporal Logic for Real-Time Systems (Advanced Software Development Series) by Jonathan S. Ostroff, 1989-08 Time-Ictl 2003: 10th International Symposium on Temporal Representation and Reasoning: And Fourth International Conference on Temporal Logic: Proceedi by IEEE, 2003-01 The Imperative Future: Principles of Executable Temporal Logic (Advanced Software Development Series) Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence) by Wojciech Penczek, Agata Pólrola, 2010-11-02 Representing Musical Time: A Temporal-Logic Approach (Studies on New Music Research) by Alan Marsden, 2000-01-01 Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Peter Haddawy, 1994-03-23 The Logic of Time: A Model-Theoretic Investigation into the Varieties ofTemporal Ontology and Temporal Discourse (Synthese Library) by Johan F.A.K. van Benthem, 2010-11-02 A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic by May Haydar, 2009-09-08

lists with details

21. The Starlog Project At The University Of Waikato
    Declarative temporal logic programming language for general purpose programming, simulation, modeling reactive systems. Starlog programs consist of 2 components a set of timed facts, a set of temporal logic rules. Somewhat like Prolog.  
    http://www.cs.waikato.ac.nz/Research/starlog/index.html
    
    Extractions: A new Logic Programming Language What is Starlog? Starlog is a pure-logic programming language designed to overcome some of the problems inherient in traditional approaches to logic programming. As a result, Starlog is designed to be a general purpose programming language, and is particularly useful for simulation, and for modelling reactive systems. Although most logic programming languages (e.g. Prolog) are query driven (i.e. are evaluated "top-down"), Starlog programs are evaluated "bottom-up". That is, as a Starlog program executes, it builds a model of all the true facts that can be derived from rules in the program. The evaluation of Starlog programs is controlled using a stratification order. Traditionally, logic programming languages have never been able to compete with the popularity of other language paradigms. We attribute this to:

22. Diagnosing Java Code: Assertions And Temporal Logic In Java Programming
    One way to fill this gap is with temporal logic, a formalism used to describe how a program state will change over time. In this  
    http://www-106.ibm.com/developerworks/java/library/j-diag0723.html
    
    Extractions: var title = "Diagnosing Java code: Assertions and temporal logic in Java programming"; var contentAreaList = "java"; var emailAbstract = "Although traditional assertions can increase the amount of checking that can be done over Java code, there are many checks you just can't perform with them. One way to fill this gap is with temporal logic, a formalism used to describe how a program state will change over time. In this article, Eric Allen discusses assertions, introduces temporal logic, and describes a tool for processing temporal logic assertions in your programs. "; var demoURL = ""; Search for: within All of dW eServer Lotus Rational Tivoli WebSphere Autonomic computing Grid computing Java technology Linux Open source Web arch. Web services Wireless XML dW forums dW Subscription alphaWorks All of IBM Search help IBM home My account Contents: Assertions and properties Temporal logic connection How to check temporal logic A timely last word ... Rate this article Related content: Magic with Merlin: Working with assertions The Fictitious Implementation bug pattern Java Modeling: A UML workbook Diagnosing Java Code columns Subscriptions: dW newsletters dW Subscription

23. Homepage Of Joeri Engelfriet
    Vrije Universiteit Amsterdam Formal models for static and dynamic aspects of complex reasoning processes, temporal logic, and belief revision.  
    http://www.cs.vu.nl/~joeri/

24. Specifications In Temporal Logic
    Specifications in temporal logic. temporal logic studies the structure or topology of time 13. It uses In more recent years, temporal logic has been successfully applied in various  
    http://rutcor.rutgers.edu/~pinzon/papers/rrr1/node13.html
    
    Extractions: Next: Control Synthesis Up: Timed Transition Models Previous: The Plant Model Temporal logic studies the structure or topology of time [ ]. It uses special operators such as (``henceforth'') and (``eventually'') to describe the temporal connectives that occur in language. In more recent years, temporal logic has been successfully applied in various areas of computer science, especially software verification. (See for example [ ].) Ostroff uses Real Time Temporal Logic (RTTL) in describing the specifications for purposes of controller synthesis. RTTL is an extension of the Manna-Pnueli temporal logic [ ]. It uses the standard temporal operators and adds the proof rules needed for real-time properties. The following summary follows closely that presented in [ ]. The reader is referred to [ ] for more details on RTTL.

25. Diagnosing Java Code: Using Temporal Logic With Bug Patterns
    temporal logic is a formalism used to describe how a program state will change over time. Diagnosing Java code Using temporal logic with bug patterns,  
    http://www-106.ibm.com/developerworks/java/library/j-diag0827.html
    
    Extractions: var title = "Diagnosing Java code: Using temporal logic with bug patterns"; var contentAreaList = "java"; var emailAbstract = "Temporal logic is a formalism used to describe how a program state will change over time. In this article, his second on temporal logic and assertions, Eric Allen discusses how several of the most common bug patterns can be prevented by the use of temporal logic assertions."; var demoURL = ""; Search for: within All of dW eServer Lotus Rational Tivoli WebSphere Autonomic computing Grid computing Java technology Linux Open source Web arch. Web services Wireless XML dW forums dW Subscription alphaWorks All of IBM Search help IBM home My account

26. Julian Bradfield's Home Page
    University of Edinburgh Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.  
    http://www.dcs.ed.ac.uk/~jcb/
    
    Extractions: I am Reader in Computer Science here at the University of Edinburgh. My first degree was in Mathematics, from Cambridge, and after doing the conversion Diploma in Computer Science, I came to Edinburgh for my Ph.D. After completing this, I was a postdoc for a couple of years, and since 1992 I've been on the teaching staff. From 1997 to 2002, I was an EPSRC Advanced Research Fellow. If you're interested in my research, please go to my research page In 2003-4, I am lecturing: If you're looking for archived information on CSL'02, the

27. Martin Fränzle, Researcher In CS, Oldenburg University, Germany
    Universit¤t Oldenburg Formal methods, real-time and hybrid systems, hardware synthesis and verification, and temporal logic.  
    http://ca.informatik.uni-oldenburg.de/~fraenzle/
    
    Extractions: Dr. Position: Till July 2002, I have been senior research assistant at the Computer Science Department of the , Germany. In August 2002, I have moved to the Technical University of Denmark as an associate professor. Please consult my new homepage for more recent information. Research interests: Temporal logic: Semantic models of embedded systems and VLSI New address: Informatics and Mathematical Modelling

28. Foundations Of Temporal Logic - The WWW-site For Prior-studies
    frameles.htm.  
    http://www.hum.auc.dk/prior/index2.htm

29. ANGELO MONTANARI WEB PAGE
    University of Udine Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory.  
    http://www.dimi.uniud.it/~montana/index.html

30. Shmuel Katz's Home Page
    The Technion Language constructs for distributed programming (superimposition, multiparty interactions, reconciliations), tools for design and programming of distributed systems (debugging, domain archetypes), interleaving set temporal logic (including for cache consistency), self-stabilization and fault-tolerance, formal specification methods.  
    http://www.cs.technion.ac.il/~katz/
    
    Extractions: CS home page a photograph Department of Computer Science The Technion Haifa 32000, Israel +972-4-829-4322 (voice) +972-4-822-1128 or -829-4353 (fax) katz@cs.technion.ac.il Formal specification methods and connections among them, including issues of translations among specification notations and their effects on properties of models, Verification using convenient executions, including semi-automatic proofs built over a PVS proof environment, Language constructs for distributed programming (superimposition, multiparty interactions, reconciliations), Tools for design and programming of distributed systems(debugging, domain archetypes) Interleaving set temporal logicISTL (including for cache consistency), Self-stabilization and fault-tolerance. A list of publications For copies of most of the papers, please send me an email request. However, a postscript copy of the paper "A Mechanized proof Environment for the Convenient Computations proof Method" by Marcelo Glusman and myself, to appear in the journal Formal Methods in System Design, is available here . The article "Superimpositions and Aspect-Oriented Programming" by Marcelo Sihman and myself, to appear in the BCS Computer Journal, is available

31. Simin Nadjm-Tehrani
    Link¶ping University Formal methods in verification of real-time and embedded systems, including discrete and hybrid models, applications of temporal logic, symbolic model checking, automata-based decompositional proof techniques.  
    http://www.ida.liu.se/~snt/

32. Kono's Temporal Logic Related Information
    The summary for this English page contains characters that cannot be correctly displayed in this language/character set.  
    http://rananim.ie.u-ryukyu.ac.jp/~kono/temporal-logic.html
    
    Extractions: »þ¶è´Ö»þÁêÏÀÍý(Interval Temporal Logic)¤ò»È¤¤¿¤µ¤Þ¤¶¤Þ¤Ê¥×¥í¥¸¥§¥¯¥È ¤Ë´Ø¤¹¤ë¥Ú¡¼¥¸¤Ç¤¹¡£ English Page is here Tokio-9.94 Interval Temporal Logic ¤ò»È¤¤¿¥×¥í¥°¥é¥ß¥ó¥°¥Ä¡¼¥ë Tokio Programming Language RTL-Tokio Piplelined CPU verification tool LITE Intervale Temporal Logic Verifier TEMPORAL LOGIC PROGRAMMING LANGUAGE Tokio Shinji Kono, Tatsuya Aoyagi, Masahiro Fujita, Hidehiko Tanaka, Tatsuhiko Moto-oka

33. Theoretical Computer Science - Faculty
    Institute of Mathematical Sciences, Chennai Theory of distributed systems, temporal logics, Partial order models of concurrency, Logics of knowledge.  
    http://www.imsc.ernet.in/~jam/

34. Research Papers
    University of Edinburgh Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.  
    http://www.dcs.ed.ac.uk/~cps/

35. Ryan Flannery
    University of Cincinnati satisfiability, first-order and temporal logic, computer science.  
    http://ryanflannery.org
    
    Extractions: I'm currently a senior (5th year) student at the University of Cincinnati in the College of Engineering majoring in both Computer Science and Mathematics . My areas of interest include logic programming, artificial intelligence theory, and parallel algorithm design/analysis (...and a little game programming on the side for fun). Currently, as part of my senior design project for school, I am working on a project to create an artificially intelligent Go player. In addition to computers/mathematics, I have a penchant for philosophy, poetry, and have recently begun brewing my own beer (thanks to my brother).

36. TIME-ROVER
    Provides automatic verification of protocols and reactive systems through temporal logic specifications.  
    http://www.time-rover.com/

37. Temporal Logic From FOLDOC
    temporal logic. logic An extension There are two types of temporal logic used branching time and linear time. The basic propositional  
    http://www.swif.uniba.it/lei/foldop/foldoc.cgi?temporal logic

38. SRI International - Computer Science Laboratory - Ground Temporal Logic: A Logic
    Publications Ground temporal logic A Logic for Hardware Verification by David Cyrluk and Paliath Narendran. Lecture Notes in Computer Science, Volume 818.  
    http://www.csl.sri.com/papers/cav94/
    
    Extractions: Abstract: We present a new temporal logic, GTL, appropriate for specifying properties of hardware at the register transfer level. We argue that this logic represents an improvement over model checking for some natural hardware verification problems. We show that the validity problem for this logic is Pi 1-1 complete. We then identify a fragment of the logic that is decidable. We show that in this fragment we are still able to encode many interesting problems, including the correctness of pipelined microprocessors. BibT E X entry:

39. Dept. Of AI: Alumni
    University of Ulm Object-oriented approaches to formal specification and verification, formal specification and verification of reactive systems, component-based formal development of concurrent systems, and the temporal logic of Actions.  
    http://www.informatik.uni-ulm.de/ki/canver.html
    
    Extractions: University of Ulm Faculty of Computer Science Dept. of Artificial Intelligence back: Staff Alumni Ercüment Canver Ercuement .Canver @icn. siemens.de joined Siemens AG, Ulm Daniela Damm damm@ifi.unizh.ch Matthias Dannenberg dannenberg@soon-systems.de co-founded soon systems GbR Dr. Axel Dold dold@tescom.de or axel.dold@gmx.de joined TESCOM GmbH, Ulm Andrea Hemprich hemprich@io-software.com joined IO Software, Freiburg Dr. Joachim Herbst joachim.j.herbst@daimlerchrysler.com DaimlerChrysler, Ulm Martin Hiller Martin.Hiller@t-systems.de joined T-Systems/Debis, Ulm Hartmut Jungholt Hartmut.Jungholt@informatik.uni-ulm.de joined SGI group, Univ. Ulm Dr. Marko Luther luther@informatik.uni-ulm.de TBA Alke Martens alke.martens@informatik.uni-rostock.de joined Univ. of Rostock Prof. Dr. Bernhard Nebel nebel@informatik.uni-freiburg.de joined Univ. of Freiburg Stephan Pfab spf@pc-plus.de Dr. Harald ruess@csl.sri.com joined SRI International, Menlo Park, CA Dr. Jussi Rintanen rintanen@informatik.uni-freiburg.de joined Univ. of Freiburg Detlef Schwier detlef@blaxxun.de

40. Temporal Logic - Wikipedia, The Free Encyclopedia
    temporal logic. Any logic which views time as a sequence of states, is a temporal logic, and any logic which uses only two truth values, is a binary logic.  
    http://en.wikipedia.org/wiki/Temporal_logic

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

21-40 of 110    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20