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