Computer Science – General Literature
Scientific paper
2008-07-25
ACM Comput. Surv. 42, 2 (Feb. 2010), 1-59
Computer Science
General Literature
More typos fixed
Scientific paper
10.1145/1667062.1667063
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a growing attention to the temporal aspects of computing, not only in the computer science domain, but also in more traditional fields of engineering. This article surveys various approaches to the formal modeling and analysis of the temporal features of computer-based systems, with a level of detail that is suitable also for non-specialists. In doing so, it provides a unifying framework, rather than just a comprehensive list of formalisms. The paper first lays out some key dimensions along which the various formalisms can be evaluated and compared. Then, a significant sample of formalisms for time modeling in computing are presented and discussed according to these dimensions. The adopted perspective is, to some extent, historical, going from "traditional" models and formalisms to more modern ones.
Furia Carlo A.
Mandrioli Dino
Morzenti Angelo
Rossi Matteo
No associations
LandOfFree
Modeling Time in Computing: A Taxonomy and a Comparative Survey does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Modeling Time in Computing: A Taxonomy and a Comparative Survey, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modeling Time in Computing: A Taxonomy and a Comparative Survey will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-326048