Abstract is missing.
- Interactive Consistency in Quasi-Asynchronous SystemsAndré Postma, Thijs Krol. 2-9 [doi]
- Coupling-based Integration TestingZhenyi Jin, A. Jefferson Offutt. 10-17 [doi]
- Using TILCO for Specifying Real-Time SystemsRiccardo Mattolini, Paolo Nesi. 18 [doi]
- IDEA: Integrated Design Environment for Assessment of ATM NetworksRicardo M. Fricks, Steven W. Hunter, Sachin Garg, Kishor S. Trivedi. 27-34 [doi]
- Toward Compiler Optimization of Distributed Real-Time ProcessesMohamed F. Younis, Thomas J. Marlowe, Grace Tsai, Alexander D. Stoyenko. 35-42 [doi]
- Virtual Reality - An Approach to Improve the Generation of Fault-Free Software for Programmable Logic Controllers (PLC)Dieter Spath, Ulf Osmers. 43-46 [doi]
- A Software Architecture Approach for Designing CASE SystemsMauro Pezzè, Sergio Silva. 47-50 [doi]
- A Distributed Architecture for Autonomous RobotsMaurizio Piaggio, Antonio Sgorbissa, Renato Zaccaria. 51 [doi]
- An Experimental Investigation of the Potential of BLF-driven Scheduling of Real-time ThreadsK. H. (Kane) Kim, Yuseok Kim. 60-67 [doi]
- Using a discrete event simulation to test a generic architecture for complex real-time systemsIlham Benyahia. 68-71 [doi]
- A comparative assessment of some reengineering techniquesMark L. Wilson. 72-75 [doi]
- A Theory of Lexicographic Multi-Criteria OptimizationMark J. Rentmeesters, Wei K. Tsai, Kwei-Jay Lin. 76-79 [doi]
- A Process for Specifying Black Box Behavior, Demonstrated in a Case StudyStephanie White, Herbert Warner. 80 [doi]
- The Two Real-Time Solitudes: computerized control and telecommunicationsPaul Freedman, Daniel Gaudreau, Raouf Boutaba, Ahmed Mehaoua. 87-90 [doi]
- The Allocation and Scheduling Precedence and Timing-Constrained Tasks with communication DelaysBo-Chao Cheng, Thomas J. Marlowe, Alexander D. Stoyenko, Sanjoy K. Baruah. 91-94 [doi]
- Progressive Scheduling for Real-Time Artificial Intelligence TasksAbdel-Illah Mouaddib. 95-98 [doi]
- Design of a Communication System Capable of Supporting Real-Time RPCJunghoon Lee. 99-102 [doi]
- An Iterative Method of Task Temporal Parameter Adjustment in Hard Real-Time SystemsFrancis Cottet, Jean-Philippe Babau. 103-106 [doi]
- Providing Generalized Rate Monotonic Scheduling Theory to I/O Abstractions over Timed Token Protocol MAC NetworksJuan Echagüe, Joan Vila i Carbó, Alfons Crespo. 107 [doi]
- Certification of Reusable Software Components: Summary of Work In ProgressSharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino. 112-115 [doi]
- System Dependability Assessment ToolEric W. Brehm. 116-119 [doi]
- Certification of reusable software components: summary of work in progressSharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino. 120-123 [doi]
- Adaptability in cooperative systems: merging flexibility and performanceFaouzi Daoud. 124 [doi]
- Subscription as a Model for the Architecture of Embedded SystemsMaarten Boasson. 130-133 [doi]
- On the specification of complex software systemsFrederick I. Moxley. 134-138 [doi]
- Developments in System ArchitectingMark W. Maier. 139-142 [doi]
- Understanding Large-Scale Behavior Patterns in Complex systemsRaymond J. A. Buhr. 143-146 [doi]
- Teledesic network and space infrastructure architecture and designJames R. Stuart. 147 [doi]
- Autonomous Navigation Based On a Dynamic RepresentationMaurizio Piaggio, Renato Zaccaria. 152-159 [doi]
- A Cyclic Scheduling for Relative Timing RequirementsSheng-Tzong Cheng, Chia-Mei Chen. 160-163 [doi]
- Enhancement and real-time analysis of an adaptive impulsive noise removal methodH. Kong, Ling Guan. 164-167 [doi]
- Integrating Petri Nets With Design Methods for Concurrent and Real-Time SystemsRobert G. Pettit IV, Hassan Gomaa. 168 [doi]
- Graphical Programming of Time-Deterministic Real-Time SystemsPer-Arne Wiberg. 173-180 [doi]
- Animating Real-Time Reactive SystemsVangalur S. Alagar, D. Muthiayen, Ramesh Achuthan. 181-188 [doi]
- Three-dimensional DCT video compression technique based on adaptive quantizersRaymond Westwater, Borko Furht. 189 [doi]
- Development of a Systems Architecting Process for Computer Based SystemsDavid Rowe, John Leaney, David Lowe. 200-203 [doi]
- Application of Security Principles to Integration of Enterprise, System and Software Engineering MethodsDennis A. Weiss, Samuel E. Moore, James A. Robbins. 204-207 [doi]
- A Progressive Software Development LifecycleRussell Turpin. 208-211 [doi]
- A Generalized Methodology for Evaluating and Optimizing System Design FactorsJaffar Rehman, Evan D. Lock, Cuong Nguyen. 212 [doi]
- Dynamically Reconfigurable Embedded Software - Does It Make Sense?David B. Stewart, Gaurav Arora. 217-220 [doi]
- Real-Time Commit Protocol For Distributed Real-Time Database SystemsYong-Ik Yoon, Mikyung Han, Ju-Hyun Cho. 221-225 [doi]
- Evaluation and Comparison of Task Allocation and Scheduling Methods for Distributed Real-Time SystemsJan Jonsson, Jonas Vasell. 226-229 [doi]
- Formal verification for distributed real-time control: periodic Producer/ConsumerS. Koppenhoefer, Jean-Dominique Decotignie. 230-238 [doi]
- Alternative priority scheduling in dynamic priority systemsHyungill Kim, Sungyoung Lee, Jongwon Lee. 239 [doi]
- Improving Protocol Performance by Dynamic Control of Communication ResourcesDaniela Ivan-Rosu, Karsten Schwan. 249-256 [doi]
- Conformance Testing of Time-Dependent ProtocolsJosé Salinas, Nohpill Park, U. Arunkumar, Fabrizio Lombardi. 257-264 [doi]
- Recovery of Communications Protocol Design from Run Time Protocol TracesKassem Saleh, M. Ilangovan, Robert L. Probert. 265-272 [doi]
- Telecommunication software development using SDL-92: practical experienceB. Hatim, Mairtin O Droma. 273 [doi]
- Recovery of Software Design, State-Machines, and Specifications from Source CodeNoah Pywes, Paul Rehmet. 279-288 [doi]
- Adaptive Parallel Algorithms for the Synthesis of Real-Time Computer SystemsAhmad Z. Abualsamid. 289-292 [doi]
- An Algorithmic Semantics for ViewchartsAyaz Isazadeh, David Alex Lamb. 293-296 [doi]
- Layering in Object-Oriented Control SystemsJan Bosch, Christer Lundberg, Anders Hultgren. 297-300 [doi]
- A Framework for Dependability SpecificationRichard C. Scalzo, Michelle M. Hugue. 301 [doi]
- Resource Conscious Design of Distributed Real-Time Systems: An End-to-End ApproachManas Saksena, Seongsoo Hong. 306-313 [doi]
- Architecture and Language support for Fault-tolerance in Complex Real-Time SystemsA. K. Ganesh, Thomas J. Marlowe, Alexander D. Stoyenko, Mohamed F. Younis, José Salinas. 314-322 [doi]
- Time Controlled Dynamic Scheduling of Aperiodic Real-Time TasksBabak Hamidzadeh, Yacine Atif. 323-330 [doi]
- On Real-Time Quasi-Durable CheckpointingJiandong Huang, Peng-Jun Wan, Vicraj Thomas. 331 [doi]
- A Z-based Approach to Specifying and Analyzing Complex SystemsJean-Michel Bruel, Robert B. France, Abdelmalek Benzekri. 336-343 [doi]
- Formal Methods Applied to Secure Network EngineeringShiu-Kai Chin, John Faust, Joseph Giordano. 344-351 [doi]
- Hardware Composition with Hardware Flowcharts and Process AlgebrasJuin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin. 352 [doi]
- Indexing to Efficiently Support Fussy Queries on Range SpecificationsTerry G. Glagowski, William E. DeForeest. 366-375 [doi]
- A Join Algorithm Utilizing Multiple Path Indexes in Object-Oriented Database SystemsWan-Sup Cho, Seung-Sun Lee, Yong-Ik Yoon, Kyu-Young Whang. 376-382 [doi]
- Hardware/software cosynthesis: multiple constraint satisfaction and component retrievalR. Miller, H. Carter, K. Davis, S. Venkatesan. 383-390 [doi]
- An architectural framework for interoperation of distributed heterogeneous database systemsXuequn Wu. 391-394 [doi]
- An Engineering Design Process Supported by Knowledge Retrieval from a Spatial DatabaseMark L. Manwaring, Terry G. Glagowski, Kent L. Jones. 395 [doi]
- Assessment and Optimization of System Architectures - Experience from Industrial Applications at SiemensMichael Gloger, Stefan Jockusch, Norbert Weber. 400-407 [doi]
- Toward a Recommended Practice for Architectural DescriptionWalter J. Ellis, Richard F. Hilliard II, Thomas F. Saunders, Peter T. Poon, David Rayford, B. Sherlund, Ronald L. Wade. 408-413 [doi]
- Engineering of component-based systemsAlan W. Brown, Kurt C. Wallnau. 414-422 [doi]
- Modeling and analysis of complex computer systems-the MTCCS approachHans Toetenel, R. F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk. 423 [doi]
- A task graph model for design and implementation of real-time systemsAmi Silberman, Thomas J. Marlowe. 432-441 [doi]
- An Approach for Generating Executable Distributed Applications from Reusable Software ArchitecturesHassan Gomaa, Ghulam A. Farrukh. 442-449 [doi]
- Designing a Non-intrusive Monitoring Tool for Developing Complex Distributed ApplicationsWanqing Wu, Rajiv Gupta, Madalene Spezialetti. 450-457 [doi]
- Temporal Causal Networks for Simulation and DiagnosisMaroua Bouzid, Antoni Ligeza. 458 [doi]
- Building Reusable Software Architectures with Ada 95Alejandro Alonso, Juan Antonio de la Puente. 467-472 [doi]
- Evolvable Real-Time C3 Systems-II: Real-Time Infrastructure RequirementsBhavani M. Thuraisingham, Arkady Kanevsky, Peter C. Krupp, Alice Schafer, Mike Gates, Thomas Wheeler, Edward H. Bensley, Ruth Ann Sigel, Michael Squadrito. 473-482 [doi]
- System Refinement in VDM-SLPaul Mukherjee. 483-492 [doi]
- A knowledge-based approach to object-oriented legacy code reuseLetha H. Etzkorn, Carl G. Davis, Lisa L. Bowen, David B. Etzkorn, L. W. Lewis, Bradley L. Vinz, Janet C. Wolf. 493 [doi]
- Assessing Complex Computer Based Systems using the Goal Structuring NotationStephen P. Wilson, John A. McDermid, C. H. Pygott, David J. Tombs. 498-505 [doi]
- Semi-automatic Transformation from Formal Specifications to ProgramsShaoying Liu, Chris Ho-Stuart. 506-513 [doi]
- Deriving Mode Invariants from SCR SpecificationsZhenyi Jin. 514-521 [doi]
- Design Synthesis Using Adaptive Search Techniques and Multi-Criteria Decision AnalysisMark Nicholson, Divya Prasad. 522 [doi]