The SCEAS System
Navigation Menu

Conferences in DBLP

International Conference on Engineering of Complex Computer Systems (iceccs)
1995 (conf/iceccs/1995)

  1. Anita K. Jones
    Complex Systems - The External Influences. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:- [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. P. Blysa
    SDT a tool for complex real-time systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:21-0 [Conf]
  6. Christof Ebert
    Tracing complexity through the software process. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:23-30 [Conf]
  7. 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]
  8. 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]
  9. Luciano Baresi, Alessandro Orso, Mauro Pezzè
    Customizable notations for kernel formalisms. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:43-0 [Conf]
  10. 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]
  11. 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]
  12. Paul Curzon, I. M. Leslie
    A case study on design for provability. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:59-62 [Conf]
  13. 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]
  14. Paul A. Bennett
    Advances in the design and deployment of human-machine interfaces. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:68-69 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. Joseph J. Martinka
    Requirements for client/server performance modeling. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:108-111 [Conf]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. Kevin Lano, S. J. Goldsack
    Discrete event process controller synthesis using VDM/sup ++/. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:129-136 [Conf]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. Dunia Ramazani
    Contribution of object-oriented methodologies to the specification of complex systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:183-186 [Conf]
  35. Thomas J. Redling
    Derivation of S-domain aircraft models. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:187-0 [Conf]
  36. 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]
  37. Christopher Landauer, Kirstie L. Bellman
    Active integration frameworks. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:199-206 [Conf]
  38. 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]
  39. 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]
  40. Ramesh Yerraballi, Ravi Mukkamala
    Schedulability related issues in end-to-end systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:215-222 [Conf]
  41. 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]
  42. 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]
  43. 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]
  44. Ben C. Moszkowski
    Compositional reasoning about projected and infinite time. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:238-245 [Conf]
  45. 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]
  46. K. Lano
    Specifying static analysis tools using formal methods. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:254-0 [Conf]
  47. 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]
  48. 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]
  49. 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]
  50. Max Mühlhäuser
    Modeling and design of complex cooperative software. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:274-277 [Conf]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. Swarup Acharya, Rafael Alonso
    The computational requirements of mobile machines. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:314-321 [Conf]
  60. 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]
  61. 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]
  62. 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]
  63. Panagiotis K. Linos
    PolyCARE: a tool for re-engineering multi-language program integrations. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:338-0 [Conf]
  64. 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]
  65. 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]
  66. Pam Binns, Steve Vestal
    Architecture specifications for complex real-time dependable systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:357-0 [Conf]
  67. 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]
  68. 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]
  69. Stephanie White, Michael Edwards
    A requirements taxonomy for specifying complex systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:373-0 [Conf]
  70. 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]
  71. B. Magnussen
    A parallel control computer structure for complex high speed applications. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:385-0 [Conf]
  72. 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]
  73. 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]
  74. Mei-Chen Hsueh
    Large complex system test: objectives and approaches. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:405-0 [Conf]
  75. 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]
  76. C. Gaspar, J. J. Schwarz
    The DELPHI experiment control system. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:417-423 [Conf]
  77. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002