|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 18 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Mauricio J. V. Silva, C. Robert Carlson |
Modeling Active Object-Oriented Database Application Using Multi-Level Diagrams. (PDF / PS)  |
COMPSAC  |
1996 |
DBLP DOI BibTeX RDF |
active object-oriented database modeling, multilevel diagrams, event driven behavior, time critical reactions, A/OODBMT, Active Object-Oriented Database Modeling Technique, OMT method, nested object model, nested rule model, nested event model, data structures, object-oriented databases, systems analysis, deductive databases, diagrams, behavior model, active databases, object-oriented paradigm, event-condition-action rules, Object Modeling Technique |
| 1 | YoungWoo Kim, Tatsuya Kato, Shigeru Okuma, T. Narikiyo |
Traffic Network Control Based on Hybrid Dynamical System Modeling and Mixed Integer Nonlinear Programming With Convexity Analysis.  |
IEEE Transactions on Systems, Man, and Cybernetics, Part A  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt |
Verifying distributed real-time properties of embedded systems via graph transformations and model checking.  |
Real-Time Systems  |
2006 |
DBLP DOI BibTeX RDF |
Distributed real-time, Model checking, Embedded systems, Schedulability analysis, Component middleware |
| 1 | Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres |
Specifying and Validating Reactive Systems with CommonKADS Methodology.  |
KES  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jagdish Chandra |
Hybrid Dynamical Systems - Minitrack Introduction. (PDF / PS)  |
HICSS  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Manas Saksena, Paul Freedman, Pawel Rodziewicz |
Guidelines for automated implementation of executable object oriented models for real-time embedded control systems. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1997 |
DBLP DOI BibTeX RDF |
control system analysis computing, automated implementation, executable object oriented models, real time embedded control systems, real time scheduling theory, ROOM methodology, telecommunications community, commercial systems, case tool ObjecTime, reactive real time behavior, hard real time components, cruise control example, ROOM model, executable models, priority inversions, temporal behavior, Real time Object Oriented Modeling |
| 1 | Peter M. Maurer, Yun Sik Lee |
Gateways: a technique for adding event-driven behavior to compiled simulations.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Schaffer, Herbert Praehofer |
On Requirements for a CAST-Tool for Complex, Reactive Systems Analysis, Design and Evaluation.  |
EUROCAST  |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|