New and used temporal models: An issue of time |
| |
Authors: | Frank D. Anger Edmund M. Clarke |
| |
Affiliation: | (1) Division of Computer Science, University of West Florida, 32514 Pensacola, FL;(2) Department of Computer Science, Carnegie-Mellon University, 15213 Pittsburgh, PA |
| |
Abstract: | TheSpecial Issue on Applications of Temporal Models raises many issues of time: What are the important properties of time? How can time be best represented? How can one reason about time-dependent properties? What are the important directions of temporal research? This introductory piece very briefly surveys the current wide variety of temporal models, temporal reasoning methods, and applications to time-varying phenomena. Promising areas of investigation such as the verification of concurrent systems, knowledge-base representation methods, and dealing with theFrame Problem pass in fleeting review. Brief introductions to each of the works in the volume close the section. |
| |
Keywords: | Concurrency temporal models temporal logic verification |
本文献已被 SpringerLink 等数据库收录! |
|