61. Computing Reviews, The Leading Online Review Service For Computing Literature. Classical model checking methods for temporal logic formulas suffer from the problem of Mexitl multimedia in executable interval temporal logic http://www.ratings.info/browse/browse_topics4.cfm?ccs_id=3023

62. CIDEC Library: Gabbay, Hodkinson, Reynolds * Temporal Logic: Mathematical Founda This long awaited book gives a thorough account of the mathematical foundations of temporal logic, one of the most important logic areas in computer science http://cs.ioc.ee/yik/lib/1/Gabbay1.html

Subject Area: CS Basics (Logics, Discrete Mathematics) in CIDEC Library TEMPORAL LOGIC: MATHEMATICAL FOUNDATIONS AND COMPUTATIONAL ASPECTS Dov M. GABBAY Ian HODKINSON Mark REYNOLDS Department of Computing, Imperial College of Science, Technology and Medicine, London Series: Oxford logic guides , Vol. 28 - Oxford Science Publications Publisher : Oxford University Press - Clarendon Press , Oxford Bibliographic : Hardcover ISBN: 0-19-853769-7 Dewey No.: 511.3 20 Electronic digital computers Programming. * Logic, Symbolic and mathematical. Natural Sciences and Mathematics * Mathematics * Applied Mathematics * Applied Numerical Analysis and Computer Mathematics (519.4) DESCRIPTION : This long awaited book gives a thorough account of the mathematical foundations of temporal logic, one of the most important logic areas in computer science. It gives a solid introduction to semantical and axiomatic approaches to temporal logic, and covers the central topics of predicate temporal logic, metalanguages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. Much of the research presented here is at the cutting edge, both in new results and in the unifying methodology. CONTENTS : The handling of time: introduction and survey Semantical presentation of temporal connectives Axiomatic presentation of propositional temporal connectives Predicate temporal logics Temporal logics presented in the predicate calculus: language-metalanguage

63. CiteULike: Tag Temporal-logic [39 Articles] posted to chuspace computability-logic dynamical-system dynamics interactivity neural-symbolic temporal temporal-concept-analysis temporal-logic by http://www.citeulike.org/tag/temporal-logic

Register Log in FAQ CiteULike News Discussion Journals Browse current issues Groups Search groups Tag temporal-logic [39 articles] Recent papers classified by the tag temporal-logic. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (19 July 2002) by Leslie Lamport posted to formal-methods temporal-logic by tautologico on 2005-09-06 20:45:59 as along with 1 person ljcamargos Extending JML Specifications with Temporal Logic Vol. 2422/2002 (September 2002), 334. by K Trentelman , M Huisman posted to temporal-logic softnet jml java ... design-by-contract by sjgaller on 2007-06-05 07:25:21 as along with 1 person and 2 groups pdagarwal Context-driven-testers Desgin-by-Contract ... JAG : J ML A nnotation G eneration for Verifying Temporal Properties Fundamental Approaches to Software Engineering (2006), pp. 373-376. by Alain Giorgetti , Julien Groslambert posted to temporal-logic specification-generation specification softnet ... java by sjgaller on 2007-09-11 07:17:02 as along with 2 groups Context-driven-testers Desgin-by-Contract Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report) (1997), pp. 525-535. by Lalita J Jagadeesan , Adam A Porter , Carlos Puchol , Christopher J Ramming , Lawrence G Votta posted to finite-state-machine test-case-generation temporal-logic softnet ... formalization by sjgaller on 2007-06-06 13:15:50 as along with 2 groups Context-driven-testers Desgin-by-Contract JML-based verification of liveness properties on a class in isolation (2006), pp. 41-48.

64. Temporal Prepositions And Their Logic Extended Abstract Your browser may not have a PDF reader available. Google recommends visiting our text version of this document. http://csdl.computer.org/comp/proceedings/time/2004/2155/00/21550007.pdf

65. Atlas: Logic Programming With Temporal Constraint Graphs By Sergei Bogomolov Bogomolov and A.G.Yankovsky, temporal constraint logic programming in modelling of distributed realtime systems, in Proceedings of the first international http://atlas-conferences.com/c/a/c/s/22.htm

Atlas home Conferences Abstracts about Atlas First St.Petersburg Days of Logic and Computability May 26-29, 1999 Steklov Institute of Mathematics St. Petersburg, Russia Organizers Evgeny Dantsin, Gennadii Davydov, Dima Grigoriev, Eduard Karavaev, Nickolai Kossovskii, Vladimir Lifschitz, Maurice Margenstern, Yuri Matiyasevich (chairman), Grigori Mints, Vladimir Orevkov, Anatol Slissenko, Maxim Vsemirnov View Abstracts Conference Homepage Logic Programming with Temporal Constraint Graphs by Sergei Bogomolov LGTCM Soft Lab Logic Programming with Temporal Constraint Graphs Presented by Sergei Bogomolov LGTCM Soft Lab The aim of this paper is to present an approach based on conception of constraint logic programming. Temporal constraints are concerned that lie in the class of closed linear inequalities involving no more than two temporal variables. This restriction allows to propose effective procedure of computation of answer to temporal constraints query. The temporal reasoning scheme combines the temporal constraints consistency procedure based on transitive closure and non-deterministic choice procedure based on SLD-resolution. The consistency procedure allows to cut off non-promise ways of search. The size of search space is cut down much more large if there are more accurate temporal constraints in initial query and rules from temporal constraint logic program. The logic programs with temporal constraints (TC) enable to use new flexible computation strategies based on analysis of accuracy of temporal constraints of TC-rules and TC-query. The computation strategy defines an order of round of search tree and includes a selection step of active atom from current query and a suitable rule choice from admissible rule list. For selection of suitable rule a more compound strategy may use the ordering of admissible rules set based on analysis of accuracy of temporal constraints.

66. Index Of /spec-patterns DIR Parent Directory TXT FAQ.html 04-Dec-2003 1421 295 FAQ.html.old 04-Dec-2003 1409 6.1K DIR GIL/ 02-Dec-1998 1349 - TXT http://santos.cis.ksu.edu/spec-patterns/

Index of /spec-patterns Name Last modified Size Description ... FAQ.html 04-Dec-2003 14:21 295 FAQ.html.old 04-Dec-2003 14:09 6.1K GIL/ 02-Dec-1998 13:49 - OLD-ctl.html 04-Dec-2003 14:21 295 OLD-ctl.html.old 04-Dec-2003 14:09 12K OLD-ltl.html 04-Dec-2003 14:21 295 OLD-ltl.html.old 04-Dec-2003 14:09 11K SURVEY/ 02-Dec-1998 13:49 - absence.html 04-Dec-2003 14:21 295 absence.html.old 04-Dec-2003 14:09 2.6K backup.tar.gz 04-Dec-2003 14:21 762 boolean.OLD 02-Dec-1998 13:49 5.5K bounded.html 04-Dec-2003 14:21 295 bounded.html.old 04-Dec-2003 14:09 3.2K chain.html 04-Dec-2003 14:21 295 chain.html.old 04-Dec-2003 14:09 887 constrained.html 04-Dec-2003 14:21 295 constrained.html.old 04-Dec-2003 14:09 3.4K ctl.html 04-Dec-2003 14:21 295 ctl.html.old 04-Dec-2003 14:09 12K existence.html 04-Dec-2003 14:21 295 existence.html.old

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

Page 4     61-66 of 66    Back | 1  | 2  | 3  | 4