default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd ICECCS 1996: Montreal, Canada
- 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada. IEEE Computer Society 1996, ISBN 0-8186-7614-0
Formal Methods and Applications I
- André Postma, Thijs Krol:
Interactive Consistency in Quasi-Asynchronous Systems. 2-9 - Zhenyi Jin, A. Jefferson Offutt:
Coupling-based Integration Testing. 10-17 - Riccardo Mattolini, Paolo Nesi:
Using TILCO for Specifying Real-Time Systems. 18-
Parallel Sessions
- Ricardo M. Fricks, Steven W. Hunter
, Sachin Garg, Kishor S. Trivedi:
IDEA: Integrated Design Environment for Assessment of ATM Networks. 27-34 - Mohamed F. Younis, Thomas J. Marlowe, Grace Tsai, Alexander D. Stoyenko:
Toward Compiler Optimization of Distributed Real-Time Processes. 35-42 - Dieter Spath, Ulf Osmers:
Virtual Reality - An Approach to Improve the Generation of Fault-Free Software for Programmable Logic Controllers (PLC). 43-46 - Mauro Pezzè, Sergio Silva:
A Software Architecture Approach for Designing CASE Systems. 47-50 - Maurizio Piaggio, Antonio Sgorbissa, Renato Zaccaria:
A Distributed Architecture for Autonomous Robots. 51-
CSESAW I
- K. H. (Kane) Kim, Yuseok Kim:
An Experimental Investigation of the Potential of BLF-driven Scheduling of Real-time Threads. 60-67 - Ilham Benyahia:
Using a discrete event simulation to test a generic architecture for complex real-time systems. 68-71 - Mark L. Wilson:
A comparative assessment of some reengineering techniques. 72-75 - Mark J. Rentmeesters, Wei K. Tsai, Kwei-Jay Lin:
A Theory of Lexicographic Multi-Criteria Optimization. 76-79 - Stephanie White, Herbert Warner:
A Process for Specifying Black Box Behavior, Demonstrated in a Case Study. 80-
RTAW I
- Paul Freedman, Daniel Gaudreau, Raouf Boutaba, Ahmed Mehaoua:
The Two Real-Time Solitudes: computerized control and telecommunications. 87-90 - Bo-Chao Cheng, Thomas J. Marlowe, Alexander D. Stoyenko, Sanjoy K. Baruah:
The Allocation and Scheduling Precedence and Timing-Constrained Tasks with communication Delays. 91-94 - Abdel-Illah Mouaddib:
Progressive Scheduling for Real-Time Artificial Intelligence Tasks. 95-98 - Junghoon Lee:
Design of a Communication System Capable of Supporting Real-Time RPC. 99-102 - Francis Cottet, Jean-Philippe Babau:
An Iterative Method of Task Temporal Parameter Adjustment in Hard Real-Time Systems. 103-106 - Juan Echagüe, Joan Vila i Carbó, Alfons Crespo:
Providing Generalized Rate Monotonic Scheduling Theory to I/O Abstractions over Timed Token Protocol MAC Networks. 107-
CSESAW II
- Sharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino:
Certification of Reusable Software Components: Summary of Work In Progress. 112-115 - Eric W. Brehm:
System Dependability Assessment Tool. 116-119 - Sharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino:
Certification of reusable software components: summary of work in progress. 120-123 - Faouzi Daoud:
Adaptability in cooperative systems: merging flexibility and performance. 124-
Exhibitor Statements
- Maarten Boasson:
Subscription as a Model for the Architecture of Embedded Systems. 130-133 - Frederick I. Moxley:
On the specification of complex software systems. 134-138 - Mark W. Maier:
Developments in System Architecting. 139-142 - Raymond J. A. Buhr:
Understanding Large-Scale Behavior Patterns in Complex systems. 143-146 - James R. Stuart:
Teledesic network and space infrastructure architecture and design. 147-
RTAW II
- Maurizio Piaggio, Renato Zaccaria:
Autonomous Navigation Based On a Dynamic Representation. 152-159 - Sheng-Tzong Cheng, Chia-Mei Chen:
A Cyclic Scheduling for Relative Timing Requirements. 160-163 - Haosong Kong, Ling Guan:
Enhancement and real-time analysis of an adaptive impulsive noise removal method. 164-167 - Robert G. Pettit IV, Hassan Gomaa:
Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems. 168-
ICECCS III: System Visualization, Imaging and Technologies
- Per-Arne Wiberg:
Graphical Programming of Time-Deterministic Real-Time Systems. 173-180 - Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan:
Animating Real-Time Reactive Systems. 181-188 - Raymond Westwater, Borko Furht:
Three-dimensional DCT video compression technique based on adaptive quantizers. 189-
CSESAW III
- David Rowe, John Leaney, David B. Lowe:
Development of a Systems Architecting Process for Computer Based Systems. 200-203 - Dennis A. Weiss, Samuel E. Moore, James A. Robbins:
Application of Security Principles to Integration of Enterprise, System and Software Engineering Methods. 204-207 - Russell Turpin:
A Progressive Software Development Lifecycle. 208-211 - Jaffar Rehman, Evan D. Lock, Cuong Nguyen:
A Generalized Methodology for Evaluating and Optimizing System Design Factors. 212-
RTAW III
- David B. Stewart, Gaurav Arora:
Dynamically Reconfigurable Embedded Software - Does It Make Sense? 217-220 - Yong-Ik Yoon, Mikyung Han, Ju-Hyun Cho:
Real-Time Commit Protocol For Distributed Real-Time Database Systems. 221-225 - Jan Jonsson, Jonas Vasell:
Evaluation and Comparison of Task Allocation and Scheduling Methods for Distributed Real-Time Systems. 226-229 - Shawn Koppenhoefer, Jean-Dominique Decotignie:
Formal verification for distributed real-time control: periodic Producer/Consumer. 230-238 - Hyungill Kim, Sungyoung Lee, Jongwon Lee:
Alternative priority scheduling in dynamic priority systems. 239-
ICECCS IV: Protocols and Communications
- Daniela Ivan-Rosu, Karsten Schwan:
Improving Protocol Performance by Dynamic Control of Communication Resources. 249-256 - José Salinas, Nohpill Park, U. Arunkumar, Fabrizio Lombardi:
Conformance Testing of Time-Dependent Protocols. 257-264 - Kassem Saleh, M. Ilangovan, Robert L. Probert:
Recovery of Communications Protocol Design from Run Time Protocol Traces. 265-272 - Bahiya Hatim, Máirtín O'Droma:
Telecommunication software development using SDL-92: practical experience. 273-
CSESAW IV
- Noah Pywes, Paul Rehmet:
Recovery of Software Design, State-Machines, and Specifications from Source Code. 279-288 - Ahmad Z. Abualsamid:
Adaptive Parallel Algorithms for the Synthesis of Real-Time Computer Systems. 289-292 - Ayaz Isazadeh, David Alex Lamb:
An Algorithmic Semantics for Viewcharts. 293-296 - Jan Bosch, Christer Lundberg, Anders Hultgren:
Layering in Object-Oriented Control Systems. 297-300 - Richard C. Scalzo, Michelle M. Hugue:
A Framework for Dependability Specification. 301-
ICECCS V: Complex Real-Time Systems and Tools
- Manas Saksena, Seongsoo Hong:
Resource Conscious Design of Distributed Real-Time Systems: An End-to-End Approach. 306-313 - 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. 314-322 - Babak Hamidzadeh, Yacine Atif:
Time Controlled Dynamic Scheduling of Aperiodic Real-Time Tasks. 323-330 - Jiandong Huang, Peng-Jun Wan, Vicraj Thomas:
On Real-Time Quasi-Durable Checkpointing. 331-
ICECCS VI: Formal Methods and Applications II
- Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri:
A Z-based Approach to Specifying and Analyzing Complex Systems. 336-343 - Shiu-Kai Chin, John Faust, Joseph Giordano:
Formal Methods Applied to Secure Network Engineering. 344-351 - Juin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin:
Hardware Composition with Hardware Flowcharts and Process Algebras. 352-
Parallel Sessions: ICECCS VII: Databases and Database Management Systems
- Terry G. Glagowski, William E. DeForeest:
Indexing to Efficiently Support Fussy Queries on Range Specifications. 366-375 - Wan-Sup Cho, Seung-Sun Lee, Yong-Ik Yoon, Kyu-Young Whang:
A Join Algorithm Utilizing Multiple Path Indexes in Object-Oriented Database Systems. 376-382 - R. Miller, Hal Carter, K. Davis, Satish Venkatesan:
Hardware/software cosynthesis: multiple constraint satisfaction and component retrieval. 383-390 - Xuequn Wu:
An architectural framework for interoperation of distributed heterogeneous database systems. 391-394 - Mark L. Manwaring, Terry G. Glagowski, Kent L. Jones:
An Engineering Design Process Supported by Knowledge Retrieval from a Spatial Database. 395-
ICECCS VIII: System and Software Architectures
- Michael Gloger, Stefan Jockusch, Norbert Weber:
Assessment and Optimization of System Architectures - Experience from Industrial Applications at Siemens. 400-407 - 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. 408-413 - Alan W. Brown, Kurt C. Wallnau:
Engineering of component-based systems. 414-422 - Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk:
Modeling and analysis of complex computer systems-the MTCCS approach. 423-
ICECCS IX: Tools and Approaches
- Ami Silberman, Thomas J. Marlowe:
A task graph model for design and implementation of real-time systems. 432-441 - Hassan Gomaa, Ghulam A. Farrukh:
An Approach for Generating Executable Distributed Applications from Reusable Software Architectures. 442-449 - Wanqing Wu, Rajiv Gupta, Madalene Spezialetti:
Designing a Non-intrusive Monitoring Tool for Developing Complex Distributed Applications. 450-457 - Maroua Bouzid, Antoni Ligeza:
Temporal Causal Networks for Simulation and Diagnosis. 458-
ICECCS X: Reuse, Refinement, Evolution
- Alejandro Alonso, Juan Antonio de la Puente:
Building Reusable Software Architectures with Ada 95. 467-472 - Bhavani 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. 473-482 - Paul Mukherjee:
System Refinement in VDM-SL. 483-492 - 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. 493-
ICECCS XI: Formal Methods and Applications III
- Stephen P. Wilson, John A. McDermid, Clive H. Pygott, David J. Tombs:
Assessing Complex Computer Based Systems using the Goal Structuring Notation. 498-505 - Shaoying Liu, Chris Ho-Stuart:
Semi-automatic Transformation from Formal Specifications to Programs. 506-513 - Zhenyi Jin:
Deriving Mode Invariants from SCR Specifications. 514-521 - Mark Nicholson, Divya Prasad:
Design Synthesis Using Adaptive Search Techniques and Multi-Criteria Decision Analysis. 522-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-13 20:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
