Home  - Science - Logic Temporal

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

101-109 of 109    Back | 1  | 2  | 3  | 4  | 5  | 6

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

Logic Temporal:     more books (100)

Executable Modal and Temporal Logics by Michael Fisher, 2007 The complementation problem for buchi automata with applications to temporal logic (Research Report RJ. International Business Machines Corporation. Research Division) by Aravinda Prasad Sistla, 1986 Automatic verification of finite state machines using temporal logic (Research paper. Carnegie Mellon University. Computer Science Dept) by Michael C Browne, 1989 Engineering of Computer Based Systems, 10th Annual IEEE International Conference on Temporal Logic, 4th International Conference On by IEEE Computer Society Staff, 2003-01-01 Control of discrete event systems in temporal logic (PATH technical note) by Akash Deshpande, 1994 Hierarchical planning using temporal logic (Tech report) by Michael J Manthey, 1984 Sy-Control: A tool for syntactic control in temporal logic (PATH technical note) by Akash Deshpande, 1994 The Temporal Logic Of Reactive And Concurrent Systems by Zohar Manna, 1991-01-01 Specification and reasoning of real-time systems in real-time temporal interval logic (Technical report. Pennsylvania State University. Dept. of Computer Science) by K. T Narayana, 1988 A proof editor for propositional temporal logic (Report / Dept. of Computer Science, Stanford University) by Ross Casley, 1986 Moments and points in an interval-based temporal logic (Technical report. University of Rochester. Dept. of Computer Science) by James Allen, 1987 Functional temporal calculus versus temporal logic: An engineering approach (Report. Katholieke Universiteit Nijmegen. Faculteit der Wiskunde en Natuurwetenschappen. Sectie Informatica) by R. T Boute, 1985 Reasoning in interval temporal logic (Report / Stanford University. Dept. of Computer Science) by Ben Moszkowski, 1983 Alternating automata and the exponential decidability of an extended branching time temporal logic ([Report]. Universite P. et M. Curie. Institut de Programmation. ... Informatique Theorique et Programmation) by D. E Muller, 1986

lists with details

101. SDL Mailing List: Re: SDL-News: SDL And Temporal Logic
     Re SDLNews SDL and temporal logic. Subject Re Next message philippeLeblanc RE SDL-News SDL and temporal logic ; Previous message  
     http://www.sdl-forum.org/Archives/SDL/0086.html

102. SDL Mailing List: SDL-News: SDL And Temporal Logic
     SDLNews SDL and temporal logic. Subject SDL-News SDL and temporal logicFrom Pedro Merino (pedro@lcc.uma.es) Date Fri Dec 15 2000 - 025246 MST.  
     http://www.sdl-forum.org/Archives/SDL/0077.html
     
     Extractions: Pedro Merino Gómez Universidad de Málaga, Departamento de Lenguajes y Ciencias de la Computación ETSI Informática- ETSI Telecomuniación Campus de Teatinos 29071 Málaga (SPAIN) Teléfono: 952 132752 Fax: 952131397 e.mail: pedro@lcc.uma.es Despacho: 3.2.9 http://www.sdl-forum.org/Society/members.htm

103. Lambda The Ultimate Diagnosing Java Code: Assertions And Temporal Logic In Java
     Diagnosing Java code Assertions and temporal logic in Java. Previous topic,Next topic. Diagnosing Java code Assertions and temporal logic in Java.  
     http://lambda.weblogs.com/discuss/msgReader$4204
     
     Extractions: 8/30/2002; 3:37:04 AM (reads: 2076, responses: 0) Diagnosing Java code: Assertions and temporal logic in Java Qualifies assertions with modal operators from temporal logic : Always, Sometime, Until, Next. "In the case of digital circuits, assertions like these are statically verified before the chip is built... In the case of software, our ability to statically check such assertions is paltry, but quality tools exist for checking that these assertions hold during particular runs of the program (such as, say, the runs of your unit tests). Assertions like these can help you to leverage unit testing to a much greater degree; each temporal logic assertion can correspond to countless traditional assertions (and that's just in cases where traditional assertions could be used to express the assertion at all." Unfortunately only commercial software is currently available to do these checks. The next article in the series

104. Advances In Temporal Logic|KLUWER Academic Publishers
     Books » Advances in temporal logic. Advances in temporal logic. Addto cart. edited by Howard Barringer University of Manchester, UK  
     http://www.wkap.nl/prod/b/0-7923-6149-0
     
     Extractions: Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification and verification of computer programs. Today, a strong, vibrant international research community exists in the broad community of computer science and AI. This volume presents a number of articles from leading researchers containing state-of-the-art results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. Earlier versions of some of the articles were given at the most recent International Conference on Temporal Logic, University of Manchester, UK.

105. 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

106. 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/

107. 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/

108. The Homepage Of Ben Moszkowski
     http://www.cse.dmu.ac.uk/~benm/

109. Temporale Logik Und Zustandssysteme
     Translate this page Oettingenstr. 67 Literatur. D. Gabbay, I. Hodkinson, M. Reynolds TemporalLogic - Mathematical Foundations and Computational Aspects. Vol. 1  
     http://www.pst.informatik.uni-muenchen.de/lehre/SS02/tl/

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

101-109 of 109    Back | 1  | 2  | 3  | 4  | 5  | 6