Brian Nielsen Aalborg University Dpt. of Computer Science Fredrik Bajersvej...  Home/Search
Context Related
| uiuc.edu/Papers/nielsenrenagha.ps uiuc.edu/docs/niel...ielsenrenagha.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uiuc.edu/Papers/RT (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraints, and our language supports expression thereof. In our language, a system is modeled by two separate but complementary descriptions: A collection of objects define the system's structure and functional behavior, and a set of interaction constraints define how these objects may interact. Our language thereby supports... (Update)
Cited by: More
Development of Virtual Data Acquisition Systems based on.. - Fortino, Nigro (1999) (Correct)
Super Actors for Real Time - Fortino, Nigro, Pupo, Spezzano (Correct)
Similar documents (at the sentence level):
52.7%: Towards Reusable Real-Time Objects - Nielsen, Agha (1999) (Correct)
21.3%: Towards Re-usable Real-Time Objects - Nielsen, Agha (1998) (Correct)
Active bibliography (related documents): More All
0.9: Specification of Real-Time Interaction Constraints - Nielsen, Ren, Agha (1998) (Correct)
0.3: Semantics for an Actor-Based Real-Time Language - Nielsen, Agha (1996) (Correct)
0.3: Thin Middleware for Ubiquitous Computing - Sen, Agha (Correct)
Similar documents based on text: More All
0.2: Real-Time Layered Video Compression using SIMD Computation - Jensen, Nielsen (1998) (Correct)
0.2: Time-Optimal Test Cases for Real-Time Systems - Hessel, Larsen, Nielsen.. (2003) (Correct)
0.1: Time-optimal Real-Time Test Case Generation using UPPAAL - Anders Hesselz Kim (Correct)
BibTeX entry: (Update)
Nielsen B., S. Ren and G. Agha (1998). Specification of real-time interaction constraints. Proc. of First I nt. Symposium on Object-Oriented Real-Time Computing, IEEE Computer Society. http://citeseer.ist.psu.edu/nielsen98specification.html More
@misc{ nielsen98specification,
author = "B. Nielsen and S. Ren and G. Agha",
title = "Specification of real-time interaction constraints",
text = "Nielsen B., S. Ren and G. Agha (1998). Specification of real-time interaction
constraints. Proc. of First I nt. Symposium on Object-Oriented Real-Time
Computing, IEEE Computer Society.",
year = "1998",
url = "citeseer.ist.psu.edu/nielsen98specification.html" }
Citations (may not include all citations):673 Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
299 Model--checking for real--time systems (context) - Alur, Courcoubetis et al. - 1990
271 Real-time Objectoriented Modeling (context) - Selic, Gullekson et al. - 1994
131 Concurrent Object-Oriented Programming (context) - Agha - 1990
107 A Foundation for Actor Computation - Agha, Mason et al.
71 Compiling Real-Time Specifications into Extended Automata - Nicollin, Sifakis et al. - 1992
69 Generalized RateMonotonic Scheduling Theory: A Framework for.. (context) - Sha, Rajkumar et al. - 1994
44 An Operational Semantics for Timed CSP - Schneider - 1995
35 Real-Time Specification Inheritance Anomalies and RealTime F.. - Aksit, Bosch et al. - 1994
32 A Layered Approach to Automating the Verification of Real-Ti.. (context) - Gerber, Lee - 1992
30 Communicating Shared Resources: A Model for Distributed Real.. (context) - Gerber, Lee - 1989
18 RT-Synchronizer: Language Support for Real-Time Specificatio.. - Ren, Agha - 1995
17 Guidelines for Automated Implementation of Executable Object.. - Saksena, Freedman et al. - 1997
13 Semantics for a Real-Time ObjectOriented Programming Languag.. - Satoh, Tokoro - 1994
9 Using Real Time Constraints for Modularisation (context) - Kirk, Nigro et al. - 1997
8 An Actor-Based Framework for Real-Time Coordination - Ren - 1997
7 A Proof Theory for Asynchronously Communicating Real-Time Sy.. (context) - Zhou, Hooman - 1992
5 and the Problem of Abstraction and Composition (context) - Agha, Systems et al. - 1996
3 Constraint-Based Synchronization of Distributed Activities (context) - Frlund - 1994
Documents on the same site (http://yangtze.cs.uiuc.edu/Papers/RT.html):
Semantics for an Actor-Based Real-Time Language - Nielsen, Agha (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC