Conferences in DBLP
André Postma , Thijs Krol Interactive Consistency in Quasi-Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Zhenyi Jin , A. Jefferson Offutt Coupling-based Integration Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Riccardo Mattolini , Paolo Nesi Using TILCO for Specifying Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo M. Fricks , Steven W. Hunter , Sachin Garg , Kishor S. Trivedi IDEA: Integrated Design Environment for Assessment of ATM Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed F. Younis , Thomas J. Marlowe , Grace Tsai , Alexander D. Stoyenko Toward Compiler Optimization of Distributed Real-Time Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Spath , Ulf Osmers Virtual Reality - An Approach to Improve the Generation of Fault-Free Software for Programmable Logic Controllers (PLC). [Citation Graph (0, 0)][DBLP ] Conf ] Mauro Pezzè , Sergio Silva A Software Architecture Approach for Designing CASE Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Piaggio , Antonio Sgorbissa , Renato Zaccaria A Distributed Architecture for Autonomous Robots. [Citation Graph (0, 0)][DBLP ] Conf ] K. H. (Kane) Kim , Yuseok Kim An Experimental Investigation of the Potential of BLF-driven Scheduling of Real-time Threads. [Citation Graph (0, 0)][DBLP ] Conf ] Ilham Benyahia Using a discrete event simulation to test a generic architecture for complex real-time systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mark L. Wilson A comparative assessment of some reengineering techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Mark J. Rentmeesters , Wei K. Tsai , Kwei-Jay Lin A Theory of Lexicographic Multi-Criteria Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Stephanie White , Herbert Warner A Process for Specifying Black Box Behavior, Demonstrated in a Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Freedman , Daniel Gaudreau , Raouf Boutaba , Ahmed Mehaoua The Two Real-Time Solitudes: computerized control and telecommunications. [Citation Graph (0, 0)][DBLP ] Conf ] Bo-Chao Cheng , Thomas J. Marlowe , Alexander D. Stoyenko , Sanjoy K. Baruah The Allocation and Scheduling Precedence and Timing-Constrained Tasks with communication Delays. [Citation Graph (0, 0)][DBLP ] Conf ] Abdel-Illah Mouaddib Progressive Scheduling for Real-Time Artificial Intelligence Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Junghoon Lee Design of a Communication System Capable of Supporting Real-Time RPC. [Citation Graph (0, 0)][DBLP ] Conf ] Francis Cottet , Jean-Philippe Babau An Iterative Method of Task Temporal Parameter Adjustment in Hard Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Echagüe , Joan Vila , Alfons Crespo Providing Generalized Rate Monotonic Scheduling Theory to I/O Abstractions over Timed Token Protocol MAC Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Sharon L. Rohde , Karen A. Dyson , Pamela T. Geriner , Deborah A. Cerino Certification of Reusable Software Components: Summary of Work In Progress. [Citation Graph (0, 0)][DBLP ] Conf ] Eric W. Brehm System Dependability Assessment Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Sharon L. Rohde , Karen A. Dyson , Pamela T. Geriner , Deborah A. Cerino Certification of reusable software components: summary of work in progress. [Citation Graph (0, 0)][DBLP ] Conf ] Faouzi Daoud Adaptability in cooperative systems: merging flexibility and performance. [Citation Graph (0, 0)][DBLP ] Conf ] Maarten Boasson Subscription as a Model for the Architecture of Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Frederick I. Moxley On the specification of complex software systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mark W. Maier Developments in System Architecting. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond J. A. Buhr Understanding Large-Scale Behavior Patterns in Complex systems. [Citation Graph (0, 0)][DBLP ] Conf ] James R. Stuart Teledesic network and space infrastructure architecture and design. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Piaggio , Renato Zaccaria Autonomous Navigation Based On a Dynamic Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Sheng-Tzong Cheng , Chia-Mei Chen A Cyclic Scheduling for Relative Timing Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] H. Kong , Ling Guan Enhancement and real-time analysis of an adaptive impulsive noise removal method. [Citation Graph (0, 0)][DBLP ] Conf ] Robert G. Pettit IV , Hassan Gomaa Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Per-Arne Wiberg Graphical Programming of Time-Deterministic Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Vangalur S. Alagar , D. Muthiayen , Ramesh Achuthan Animating Real-Time Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond Westwater , Borko Furht Three-dimensional DCT video compression technique based on adaptive quantizers. [Citation Graph (0, 0)][DBLP ] Conf ] David Rowe , John Leaney , David Lowe Development of a Systems Architecting Process for Computer Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dennis A. Weiss , Samuel E. Moore , James A. Robbins Application of Security Principles to Integration of Enterprise, System and Software Engineering Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Russell Turpin A Progressive Software Development Lifecycle. [Citation Graph (0, 0)][DBLP ] Conf ] Jaffar Rehman , Evan D. Lock , Cuong Nguyen A Generalized Methodology for Evaluating and Optimizing System Design Factors. [Citation Graph (0, 0)][DBLP ] Conf ] David B. Stewart , Gaurav Arora Dynamically Reconfigurable Embedded Software - Does It Make Sense? [Citation Graph (0, 0)][DBLP ] Conf ] Yong-Ik Yoon , Mikyung Han , Ju-Hyun Cho Real-Time Commit Protocol For Distributed Real-Time Database Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Jonsson , Jonas Vasell Evaluation and Comparison of Task Allocation and Scheduling Methods for Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] S. Koppenhoefer , Jean-Dominique Decotignie Formal verification for distributed real-time control: periodic Producer/Consumer. [Citation Graph (0, 0)][DBLP ] Conf ] Hyungill Kim , Sungyoung Lee , Jongwon Lee Alternative priority scheduling in dynamic priority systems. [Citation Graph (0, 0)][DBLP ] Conf ] Daniela Ivan-Rosu , Karsten Schwan Improving Protocol Performance by Dynamic Control of Communication Resources. [Citation Graph (0, 0)][DBLP ] Conf ] José Salinas , Nohpill Park , U. Arunkumar , Fabrizio Lombardi Conformance Testing of Time-Dependent Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Kassem Saleh , M. Ilangovan , Robert L. Probert Recovery of Communications Protocol Design from Run Time Protocol Traces. [Citation Graph (0, 0)][DBLP ] Conf ] B. Hatim , Mairtin O'Droma Telecommunication software development using SDL-92: practical experience. [Citation Graph (0, 0)][DBLP ] Conf ] Noah Pywes , Paul Rehmet Recovery of Software Design, State-Machines, and Specifications from Source Code. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmad Z. Abualsamid Adaptive Parallel Algorithms for the Synthesis of Real-Time Computer Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ayaz Isazadeh , David Alex Lamb An Algorithmic Semantics for Viewcharts. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Bosch , Christer Lundberg , Anders Hultgren Layering in Object-Oriented Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Richard C. Scalzo , Michelle M. Hugue A Framework for Dependability Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Manas Saksena , Seongsoo Hong Resource Conscious Design of Distributed Real-Time Systems: An End-to-End Approach. [Citation Graph (0, 0)][DBLP ] Conf ] A. K. Ganesh , Thomas J. Marlowe , Alexander D. Stoyenko , Mohamed F. Younis , José Salinas Architecture and Language support for Fault-tolerance in Complex Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Babak Hamidzadeh , Yacine Atif Time Controlled Dynamic Scheduling of Aperiodic Real-Time Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Jiandong Huang , Peng-Jun Wan , Vicraj Thomas On Real-Time Quasi-Durable Checkpointing. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Bruel , Robert B. France , Abdelmalek Benzekri A Z-based Approach to Specifying and Analyzing Complex Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Shiu-Kai Chin , John Faust , Joseph Giordano Formal Methods Applied to Secure Network Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Juin-Yeu Joseph Lu , Jang Dae Kim , Shiu-Kai Chin Hardware Composition with Hardware Flowcharts and Process Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Terry G. Glagowski , William E. DeForeest Indexing to Efficiently Support Fussy Queries on Range Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Wan-Sup Cho , Seung-Sun Lee , Yong-Ik Yoon , Kyu-Young Whang A Join Algorithm Utilizing Multiple Path Indexes in Object-Oriented Database Systems. [Citation Graph (0, 0)][DBLP ] Conf ] R. Miller , H. Carter , K. Davis , S. Venkatesan Hardware/software cosynthesis: multiple constraint satisfaction and component retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Xuequn Wu An architectural framework for interoperation of distributed heterogeneous database systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mark L. Manwaring , Terry G. Glagowski , Kent L. Jones An Engineering Design Process Supported by Knowledge Retrieval from a Spatial Database. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Gloger , Stefan Jockusch , Norbert Weber Assessment and Optimization of System Architectures - Experience from Industrial Applications at Siemens. [Citation Graph (0, 0)][DBLP ] Conf ] Walter J. Ellis , Richard F. Hilliard II , Thomas F. Saunders , Peter T. Poon , David Rayford , B. Sherlund , Ronald L. Wade Toward a Recommended Practice for Architectural Description. [Citation Graph (0, 0)][DBLP ] Conf ] Alan W. Brown , Kurt C. Wallnau Engineering of component-based systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Toetenel , R. F. Lutje Spelberg , Sylvia Stuurman , Jan van Katwijk Modeling and analysis of complex computer systems-the MTCCS approach. [Citation Graph (0, 0)][DBLP ] Conf ] Ami Silberman , Thomas J. Marlowe A task graph model for design and implementation of real-time systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hassan Gomaa , Ghulam A. Farrukh An Approach for Generating Executable Distributed Applications from Reusable Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Wanqing Wu , Rajiv Gupta , Madalene Spezialetti Designing a Non-intrusive Monitoring Tool for Developing Complex Distributed Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Maroua Bouzid , Antoni Ligeza Temporal Causal Networks for Simulation and Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Alejandro Alonso , Juan Antonio de la Puente Building Reusable Software Architectures with Ada 95. [Citation Graph (0, 0)][DBLP ] Conf ] Bhavani M. Thuraisingham , Arkady Kanevsky , Peter C. Krupp , Alice Schafer , Mike Gates , Thomas Wheeler , Edward H. Bensley , Ruth Ann Sigel , Michael Squadrito Evolvable Real-Time C3 Systems-II: Real-Time Infrastructure Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Mukherjee System Refinement in VDM-SL. [Citation Graph (0, 0)][DBLP ] Conf ] Letha H. Etzkorn , Carl G. Davis , Lisa L. Bowen , David B. Etzkorn , L. W. Lewis , Bradley L. Vinz , Janet C. Wolf A knowledge-based approach to object-oriented legacy code reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen P. Wilson , John A. McDermid , C. H. Pygott , David J. Tombs Assessing Complex Computer Based Systems using the Goal Structuring Notation. [Citation Graph (0, 0)][DBLP ] Conf ] Shaoying Liu , Chris Ho-Stuart Semi-automatic Transformation from Formal Specifications to Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Zhenyi Jin Deriving Mode Invariants from SCR Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Nicholson , Divya Prasad Design Synthesis Using Adaptive Search Techniques and Multi-Criteria Decision Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] 