Conferences in DBLP
Anita K. Jones Complex Systems - The External Influences. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:- [Conf ] Alvin S. Lim Automatic analytical tools for reliability and dynamic adaptation of complex distributed systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:1-8 [Conf ] Jair Jehuda , Gilad Koren , Daniel M. Berry A time-sharing architecture for complex real-time systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:9-16 [Conf ] Richard P. Evans , Sooyong Park , Mark Merriman Engineering baselines in system development: using ASCII files, two-column index piles, and system numbers, engineering tags, and change set numbers. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:17-20 [Conf ] P. Blysa SDT a tool for complex real-time systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:21-0 [Conf ] Christof Ebert Tracing complexity through the software process. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:23-30 [Conf ] Jin Song Dong , Gordon A. Rose , Roger Duke The role of secondary attributes in formal object modelling. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:31-38 [Conf ] Wolfgang A. Halang , Kim-Fung Man , Matjaz Colnaric A graphical paradigm facilitating correct programming of complex computer control systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:39-42 [Conf ] Luciano Baresi , Alessandro Orso , Mauro Pezzè Customizable notations for kernel formalisms. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:43-0 [Conf ] Alvaro Rendón , Juan C. Dueñas , Miguel A. de Miguel , Jyrki Leskela , Juan Antonio de la Puente , Gonzalo León , Alejandro Alonso Animation of heterogeneous prototypes of real-time systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:47-54 [Conf ] Moon Lee , Noah S. Prywes , Insup Lee Automation of analysis and simulation for understanding of large real-time Ada software. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:55-58 [Conf ] Paul Curzon , I. M. Leslie A case study on design for provability. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:59-62 [Conf ] Humberto E. Garcia Control and supervision of a complex production process using hybrid systems techniques. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:63-67 [Conf ] Paul A. Bennett Advances in the design and deployment of human-machine interfaces. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:68-69 [Conf ] Wael M. Elseaidy , Rance Cleaveland A tool for modeling and verifying real-time systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:70-0 [Conf ] Daniel A. Menascé , Hassan Gomaa , Larry Kerschberg A performance oriented design methodology for large-scale distributed data intensive information systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:72-79 [Conf ] Vassilka Kirova , Wilhelm Rossak Representing architectural designs: a central issue in the development of complex systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:80-87 [Conf ] Shiu-Kai Chin , John Faust , Joseph Giordano Integrating formal methods tools to support system design. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:88-0 [Conf ] Amitava Raha , Nicholas Malcolm , Wei Zhao Hard real-time communications with weighted round robin service in ATM local area networks. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:96-0 [Conf ] Norman F. Schneidewind Predictions for increasing confidence in the reliability of safety critical software. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:104-107 [Conf ] Joseph J. Martinka Requirements for client/server performance modeling. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:108-111 [Conf ] J. Richard Newman , Sharon L. Rohde Managing system technical risks using a process-based, integration infrastructure. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:112-115 [Conf ] Faouzi Boufarès , Faïez Gargouri , Naoufel Kraïem On the integration of heterogeneous methods for complex applications. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:116-120 [Conf ] Martin J. Diepstraten Command and control system requirements analysis. System requirements specification tactical system CUP CMT. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:121-124 [Conf ] Peter Henderson , Graham D. Pratten POSD-a notation for presenting complex systems of processes. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:125-0 [Conf ] Kevin Lano , S. J. Goldsack Discrete event process controller synthesis using VDM/sup ++/. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:129-136 [Conf ] Shaoying Liu , Yong Sun Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:137-144 [Conf ] Egon Börger , Giuseppe Del Castillo A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:145-148 [Conf ] K. Brink , L. J. G. Bun , Jan van Katwijk , W. J. Toetenel Hybrid specification of control systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:149-0 [Conf ] Edward H. Bensley , Lawrence Fisher , Mike Gates , James Houchens , Arkady Kanevsky , SooHee Kim , Peter C. Krupp , Alice Schafer , Bhavani M. Thuraisingham Evolvable real-time C3 systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:153-0 [Conf ] Haifeng Qian , Eduardo B. Fernández , Jie Wu A combined functional and object-oriented approach to software design. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:167-174 [Conf ] R. H. Cofer , T. J. Sanders STADIUM: a new tool for high assurance in systems design. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:175-178 [Conf ] Thomas C. Choinski , Daniel J. Organ , Nila D. Patel , John J. McGahan A software design for integrating DESTINATION with ACEIT. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:179-182 [Conf ] Dunia Ramazani Contribution of object-oriented methodologies to the specification of complex systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:183-186 [Conf ] Thomas J. Redling Derivation of S-domain aircraft models. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:187-0 [Conf ] Jen-Yao Chwng , Donald F. Ferguson , George Wang , Christos Nikolaou , Jim Teng Goal-oriented dynamic buffer pool management for data base systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:191-198 [Conf ] Christopher Landauer , Kirstie L. Bellman Active integration frameworks. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:199-206 [Conf ] E. Argante , Peter van der Stok , Ian Willers On-line event reconstruction using a parallel in-memory database. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:207-210 [Conf ] Robert A. Basta , William H. Greene A system engineering methodology for predicting scalability of very large real-time databases. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:211-0 [Conf ] Ramesh Yerraballi , Ravi Mukkamala Schedulability related issues in end-to-end systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:215-222 [Conf ] Robert T. Goettge , Eric W. Brehm , Charles Palczak , John A. Stankovic , Marty Humphrey Knowledge-Based assistance for real-time systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:223-0 [Conf ] Gabor Karsai , Janos Sztipanovits , Hubertus Franke , Samir Padalkar , Frank DeCaria Model-embedded on-line problem solving environment for chemical engineering. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:227-233 [Conf ] E. M. Osman , Grace Baratta-Perez , Thomas J. Walsh , Kenneth J. Fowler A unique tool set for engineering complex systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:234-0 [Conf ] Ben C. Moszkowski Compositional reasoning about projected and infinite time. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:238-245 [Conf ] Milica Barjaktarovic , Shiu-Kai Chin , Kamal Jabbour Formal specification and verification of communication protocols using automated tools . [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:246-253 [Conf ] K. Lano Specifying static analysis tools using formal methods. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:254-0 [Conf ] Michael S. Moore , Jim Nichols Model-based synthesis of a real-time image processing system. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:262-265 [Conf ] D. M. Wu , Ling Guan , G. Lau , D. Rahija Design and implementation of a distributed real-time image processing system. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:266-269 [Conf ] L. E. Grossman , W. W. Foard , E. C. Burdette , P. L. Neubauer , G. K. Svensson Real-time computer controlled ultrasound therapy system for breast cancer treatment. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:270-0 [Conf ] Max Mühlhäuser Modeling and design of complex cooperative software. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:274-277 [Conf ] Michael L. Edwards , Matt Flanzer , Mark Terry , Joseph Landa RECAP: a requirements elicitation, capture and analysis process prototype tool for large complex systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:278-281 [Conf ] Flavio De Paoli , Francesco Tisato Abstract and concrete components: an approach to complex systems engineering. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:282-285 [Conf ] Matthew S. Harelick , Thomas J. Marlowe , Alexander D. Stoyenko , Purnendu Sinha A constraint function classification for complex systems development. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:286-0 [Conf ] George Krasovec , Mark Baker , Serban Gheorghe Target tracking: a real-time object oriented design experiment. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:290-297 [Conf ] Leo Motus , R. Kinksaar , Tonu Naks , M. Pall Enhancing object modelling technique with timing analysis capabilities. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:298-301 [Conf ] Pablo Darscht , Carlos Eduardo Pereira An object-oriented approach to handle complex real-time industrial automation projects. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:302-305 [Conf ] Jürgen Ziegler , Maher Awad , Juha Kuusela Applying object-oriented technology in real-time systems with the OCTOPUS method. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:306-309 [Conf ] Ramesh Achuthan , Vangalur S. Alagar , Thiruvengadam Radhakrishnan An object-oriented modeling of real-time robotic assembly system. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:310-0 [Conf ] Swarup Acharya , Rafael Alonso The computational requirements of mobile machines. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:314-321 [Conf ] Ronald D. Fellman , Robert Grygiel , Isaac Chu The effect of preemptive queuing in a priority-based real-time network. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:322-0 [Conf ] James B. Armstrong , Howard Jay Siegel Dynamic task migration from SIMD to SPMD virtual machines. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:326-333 [Conf ] Timothy A. Budd , Timothy P. Justice , Rajeev K. Pandey General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:334-337 [Conf ] Panagiotis K. Linos PolyCARE: a tool for re-engineering multi-language program integrations. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:338-0 [Conf ] Eduardo B. Fernández , Robert B. France Formal specification of real-time dependable systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:342-348 [Conf ] Mohamed F. Younis , Grace Tsai , Thomas J. Marlowe , Alexander D. Stoyenko Using speculative execution for fault tolerance in a real-time system. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:349-356 [Conf ] Pam Binns , Steve Vestal Architecture specifications for complex real-time dependable systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:357-0 [Conf ] Janos Sztipanovits , Gabor Karsai , Csaba Biegl , Ted Bapty , Ákos Lédeczi , Amit Misra MULTIGRAPH: an architecture for model-integrated computing. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:361-368 [Conf ] Michelle M. Hugue , Richard C. Scalzo Specifying fault tolerance in large complex computing systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:369-372 [Conf ] Stephanie White , Michael Edwards A requirements taxonomy for specifying complex systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:373-0 [Conf ] Flavio Bonfatti , Paola Daniela Monari , Gianni Gadda Bridging structural and software design of PLC-based system families. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:377-384 [Conf ] B. Magnussen A parallel control computer structure for complex high speed applications. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:385-0 [Conf ] Taghi M. Khoshgoftaar , Edward B. Allen Multivariate assessment of complex software systems: a comparative study. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:389-396 [Conf ] Grace Tsai , M. Insall , Bruce M. McMillin Ensuring the satisfaction of a temporal specification at run-time. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:397-404 [Conf ] Mei-Chen Hsueh Large complex system test: objectives and approaches. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:405-0 [Conf ] Robert M. McGraw , Moshe Meyassed , Robert H. Klenke , James H. Aylor , Ronald D. Williams Refinement of system-level designs using hybrid modeling. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:409-416 [Conf ] C. Gaspar , J. J. Schwarz The DELPHI experiment control system. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:417-423 [Conf ] Manabu Kawada , Xu Wu , Tadashi Ae A construction of neural-net based AI systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:424-0 [Conf ]