|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1191 occurrences of 716 keywords
|
|
|
Results
Found 995 publication records. Showing 995 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Zhenyi Jin |
Deriving Mode Invariants from SCR Specifications. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ami Silberman, Thomas J. Marlowe |
A task graph model for design and implementation of real-time systems. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
RTM task graph model, complex real time tasks, medium grained data flow model, arbitrary interconnectivity, decomposable tasks, task graph based environment, real time design, scheduler, real-time systems, resource allocation, hierarchical model, distributed operating system, real time systems design |
1 | Shaoying Liu, Chris Ho-Stuart |
Semi-automatic Transformation from Formal Specifications to Programs. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jan Bosch, Christer Lundberg, Anders Hultgren |
Layering in Object-Oriented Control Systems. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mark Nicholson 0001, Divya Prasad |
Design Synthesis Using Adaptive Search Techniques and Multi-Criteria Decision Analysis. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Terry G. Glagowski, William E. DeForeest |
Indexing to Efficiently Support Fussy Queries on Range Specifications. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Paul Mukherjee |
System Refinement in VDM-SL. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Juin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin |
Hardware Composition with Hardware Flowcharts and Process Algebras. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Shawn Koppenhoefer, Jean-Dominique Decotignie |
Formal verification for distributed real-time control: periodic Producer/Consumer. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
distributed real-time control, periodic Producer/Consumer, adapted synchronous model, communication parameters, distributed periodic control, communication in networks, communication failures, buffer overwrites, model, verification, formal verification |
1 | Sheng-Tzong Cheng, Chia-Mei Chen |
A Cyclic Scheduling for Relative Timing Requirements. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
relative timing constraints, Scheduling, real-time, jitters, allocation |
1 | Kassem Saleh, M. Ilangovan, Robert L. Probert |
Recovery of Communications Protocol Design from Run Time Protocol Traces. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Sharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino |
Certification of Reusable Software Components: Summary of Work In Progress. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mark W. Maier |
Developments in System Architecting. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
Systems Architecting, multi-disciplinary system development, naval architecting, civil architecting, research needs, education programs, data integrity, systems analysis, system development |
1 | 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. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan |
Animating Real-Time Reactive Systems. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
Formal Methods, Animation, Process Model, Object-Oriented Modeling, Software Requirements Specification, Real-Time Reactive Systems |
1 | André Postma, Thijs Krol |
Interactive Consistency in Quasi-Asynchronous Systems. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael L. Edwards, Matt Flanzer, Mark Terry, Joseph Landa |
RECAP: a requirements elicitation, capture and analysis process prototype tool for large complex systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
RECAP, requirements elicitation capture and analysis process prototype tool, large complex system development, consistent requirements, correct requirements, complete requirements, requirement use, requirement capture, requirement identification, natural language parsing, knowledge-based rules, semiautomatic capture elicitation analysis, unformatted natural language text, requirement translation, concise requirements data, user defined views, domain specific rules, formal specification, software tools, knowledge based systems, systems analysis, natural languages, requirement analysis, requirements specification, automated assistance, system life-cycle |
1 | Matthew S. Harelick, Thomas J. Marlowe, Alexander D. Stoyenko, Purnendu Sinha |
A constraint function classification for complex systems development. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
knowledge verification, constraint function classification, constraint syntax, constraint management, implied constraints, distributed system, real-time systems, resource allocation, data integrity, distributed processing, knowledge based systems, requirements, systems analysis, consistency checking, large-scale systems, constraint handling, software modules, rule-based approach, resource allocation problem, REAL project, complex systems development |
1 | Björn Bernhard Magnussen |
A parallel control computer structure for complex high speed applications. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
parallel control computer structure, complex high speed applications, prototype computer, performance evaluation, performance, robotics, parallel architectures, system architecture, parallel computer architecture, control algorithm |
1 | Pablo Darscht, Carlos Eduardo Pereira |
An object-oriented approach to handle complex real-time industrial automation projects. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
production engineering computing, complex real-time industrial automation project handling, modeling perspective relationships, multi-disciplinary industrial automation projects, real-time systems, object-oriented methods, viewpoints, object-oriented approach, factory automation |
1 | Christof Ebert |
Tracing complexity through the software process. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
complete development process, complexity factors, real-time automation projects, real-time systems, real-time systems, computational complexity, complexity, formal specification, software metrics, software process, computer aided software engineering, development environments, research project, specification methods, CASE environment |
1 | Paul A. Bennett |
Advances in the design and deployment of human-machine interfaces. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
dynamic graphical interfaces, rapid prototyping paradox, CCG products, real-time systems, user interfaces, embedded systems, software prototyping, human-machine interfaces, man-machine systems |
1 | Robert T. Goettge, Eric W. Brehm, Charles Palczak, John A. Stankovic, Marty Humphrey |
Knowledge-Based assistance for real-time systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
Real-Time Scheduling Assistant, RTSA knowledge base, multiple scheduling algorithms, knowledge-based assistance, scheduling, real-time systems, real-time systems, graphical user interface, knowledge based systems, scheduling algorithms, inference mechanisms, processor scheduling, quantitative evaluation, performance characteristics, forward chaining, complex real-time systems |
1 | Leo Motus, R. Kinksaar, Tonu Naks, M. Pall |
Enhancing object modelling technique with timing analysis capabilities. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
enhanced object modelling technique, timing analysis capabilities, timing correctness, software implementation problems, specification problems, time-constraint elicitation, Q-model, noncontradiction analysis, time modelling requirements, performance, software engineering, real-time systems, real-time systems, data integrity, timing, scheduling algorithms, timing constraints, object-oriented methods, consistency checking, application domain, integrity checking, design problems |
1 | Faouzi Boufarès, Faïez Gargouri, Naoufel Kraïem |
On the integration of heterogeneous methods for complex applications. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
heterogeneous methods integration, complex applications, information system modeling, open ordering, transformation scheme, standardization, systems analysis, meta models, standardisation, specification techniques |
1 | Jen-Yao Chwng, Donald F. Ferguson, George Wang, Christos Nikolaou, Jim Teng |
Goal-oriented dynamic buffer pool management for data base systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
goal-oriented dynamic buffer pool management, dynamic buffer pool size adjustment, multiple buffer pools, complex constrained optimization problem, random access response time goal, database workload, pre-defined response time goals, goal satisfaction algorithm, dynamic tuning, relational databases, optimisation, database management systems, transaction processing, storage management, trace driven simulations, buffer storage, virtual storage |
1 | Moon Lee, Noah S. Prywes, Insup Lee 0001 |
Automation of analysis and simulation for understanding of large real-time Ada software. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
large real-time Ada software, simulation, real-time systems, Ada, digital simulation, state machines, hierarchical structure |
1 | Alvaro Rendón, Juan C. Dueñas, Miguel A. de Miguel, Jyrki Leskela, Juan Antonio de la Puente, Gonzalo León, Alejandro Alonso 0001 |
Animation of heterogeneous prototypes of real-time systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
heterogeneous prototypes animation, heterogeneous prototyping, internal architecture, heterogeneous prototypes, real-time systems, real-time systems, computational complexity, complexity, computer animation, software prototyping, risks reduction, global model |
1 | 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. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
real-life processor, APE100 Reverse Engineering, modular structuring, microprocessor zCPU, APE100 massively parallel machine, provably correct composition, formal specification, formal method, reverse engineering, parallel architectures |
1 | Martin J. Diepstraten |
Command and control system requirements analysis. System requirements specification tactical system CUP CMT. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
command and control system requirements analysis, system requirements specification tactical system, CUP CMT, user requirements analysis, process and information analysis, technical system analysis, system-oriented level, system reengineering, integrated tool support, rapid prototyping, systems analysis, software prototyping, systems re-engineering, information analysis, structured approach, command and control systems |
1 | Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra |
MULTIGRAPH: an architecture for model-integrated computing. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
Multigraph Architecture, complex embedded systems, meta-level architecture, domain specific model integrated program synthesis environments, application specific model interpreters, executable programs synthesis, real-time systems, programming environments, computer architecture, program interpreters, model-integrated computing, integrated modeling, MULTIGRAPH, model analysis |
1 | Kevin Lano, Stephen J. Goldsack |
Discrete event process controller synthesis using VDM++. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
ignition, control system synthesis, heat systems, discrete event process controller synthesis, VDM/sup ++/, controller specification, gas burner system, systematic method, declarative requirement statements, abstract VDM/sup ++/ specifications, concrete VDM/sup ++/ specifications, formalised requirements, refinement process, real-time systems, formal specification, temporal logic, timing, specification languages, timing analysis, object-oriented languages, process control, parallel languages, discrete event systems, programmable controllers, controller design, Vienna development method, control system CAD, Ada95, real-time temporal logic, combustion |
1 | Robert A. Basta, William H. Greene |
A system engineering methodology for predicting scalability of very large real-time databases. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
system engineering methodology, scalable system design, scalability prediction, very large real-time databases, real-time access, accurate performance analysis, implementation alternative evaluation, physical benchmark configuration, subset functionality, database configuration, upscale model, simulation, model, real-time systems, query processing, systems analysis, iterative methods, reconfigurable architectures, systems engineering, software performance evaluation, simulation results, very large databases, iterative process, performance data |
1 | Ramesh Yerraballi, Ravi Mukkamala |
Schedulability related issues in end-to-end systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
end-to-end systems, scheduling, real-time systems, scheduling algorithms, processor scheduling, schedulability analysis, proof of correctness, uniprocessor systems |
1 | |
1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA |
ICECCS |
1995 |
DBLP BibTeX RDF |
|
1 | Rufus H. Cofer, T. J. Sanders |
STADIUM: a new tool for high assurance in systems design. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
STADIUM high assurance tool, large system development, systems engineering phase, operational variabilities, system performance levels, search effects, worst-case system design, statistically based system level simulation, statistically based subsystem level simulation, dual-use technologies, defense conversions, complex commercial systems, design of experiments methodology, circuit level variabilities, subsystem level variabilities, system level variabilities, simulation, software tools, software tool, systems design, systems analysis, systems engineering, system performances, design of experiments, manufacturing variabilities, complex system development |
1 | Kevin Lano |
Specifying static analysis tools using formal methods. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment |
1 | Thomas J. Redling |
Derivation of S-domain aircraft models. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
aircraft control, control system analysis computing, aircraft light controls, autopilot, flight testphase, design phase, airframe, C-141B, A-4D, AlliedSignal Aerospace Guidance and Control Systems, simulation, control systems, control system CAD, control laws, aerospace simulation |
1 | Amitava Raha, Nicholas Malcolm, Wei Zhao 0001 |
Hard real-time communications with weighted round robin service in ATM local area networks. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
hard real-time communications, weighted round robin service, output link scheduling, message deadlines, weighted round robin scheduling policy, weighted round robin scheduling, hard real-time connections, admission probability, heuristic scheme, scheduling, asynchronous transfer mode, ATM, local area networks, local area networks, system performance |
1 | Vassilka Kirova, Wilhelm R. Rossak |
Representing architectural designs: a central issue in the development of complex systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
architectural designs representation, software design aspect, high level system design, d-ASPECT, software architecture, software architectures, formal specification, software metrics, systems analysis, system complexity, complex systems development |
1 | Panagiotis K. Linos |
PolyCARE: a tool for re-engineering multi-language program integrations. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
multi-language program integration reengineering tool, PolyCARE tool, multiple programming languages, program component formalisation, program component classification, program component relationships, poly-paradigmatic computer-aided re-engineering, dependency detection, dependency visualisation, transformation mechanisms, partitioning techniques, software maintenance, software tools, systems analysis, program comprehension, maintenance, data visualisation, computer aided software engineering, multiprogramming, systems re-engineering, presentation model |
1 | E. M. Osman, Grace Baratta-Perez, Thomas J. Walsh 0002, Kenneth J. Fowler |
A unique tool set for engineering complex systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
tool set, life-cycle management, large-system features, Ada 83, C System Dependency Analyzers, Ada 83 Common Code Recognizer, Ada 83 Tasking Identifier, Rate Monotonic Analysis Scheduler, source code analysis tools, software engineering, reliability, software architecture, Ada, Ada, software maintenance, software tools, complex systems, portability, maintainability, software portability, software systems, porting |
1 | Shiu-Kai Chin, John Faust, Joseph Giordano |
Integrating formal methods tools to support system design. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
formal methods tools integration, top-level process descriptions, gate-level hardware designs, simulators, formal specification, system design, specification languages, specification languages, systems analysis, system engineering, theorem-provers, computer-aided design tools, model checkers |
1 | Dunia Ramazani |
Contribution of object-oriented methodologies to the specification of complex systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
specifier, formal specification, formal specifications, complex systems, object-oriented methods, large-scale systems, object-oriented methodologies, composite objects |
1 | Grace Tsai, M. Insall, Bruce M. McMillin |
Ensuring the satisfaction of a temporal specification at run-time. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
run-time temporal specification satisfaction, responsive computing system, run-time behavior, trace checking, fully distributed run-time evaluation system, train-set example, distributed system, real-time systems, real-time system, formal specification, temporal logic, distributed processing, software fault tolerance, fault-tolerant systems, interval temporal logic, operational environment |
1 | Timothy A. Budd, Timothy P. Justice, Rajeev K. Pandey |
General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
general-purpose multiparadigm programming languages, complex system construction, stock market exchange, Leda language, software engineering, object-oriented programming, object-oriented programming, logic programming, logic programming, functional programming, functional programming, systems analysis, heterogeneous systems, multiprogramming, high level languages, telecommunications network, programming paradigms, large systems, enabling technology, imperative programming |
1 | George Krasovec, Mark Baker, Serban Gheorghe |
Target tracking: a real-time object oriented design experiment. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
sonar tracking, real-time object oriented design experiment, tool sets, Real-Time Object Oriented Modeling technique, real-time distributed applications, state-intensive real-time distributed computer-based systems, distributed concurrent processing, ROOM methodology, fault tolerance, real-time systems, object-oriented programming, distributed processing, software tools, software quality, software fault tolerance, real-time applications, target tracking, target tracking, real-time performance, life cycle costs |
1 | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |
Formal specification and verification of communication protocols using automated tools . |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
OSI protocol, large models, simulation, modelling, formal specification, formal specification, testing, protocols, formal verification, software tools, validation, theorem proving, process algebra, communication protocols, open systems, algebra, formal logic, automated tools, model checker, model testing, complex models, automated theorem prover |
1 | Mohamed F. Younis, Grace Tsai, Thomas J. Marlowe, Alexander D. Stoyenko |
Using speculative execution for fault tolerance in a real-time system. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
primary-backup approach, timeliness properties, fault tolerance, real-time systems, real-time system, compiler, fault tolerant computing, program compilers, simulation results, speculative execution |
1 | Ronald D. Fellman, Robert Grygiel, Isaac Chu |
The effect of preemptive queuing in a priority-based real-time network. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
preemptive queuing, priority-based real-time network, real-time multiprocessor system, interprocessor communications network entrance, data buffering, simulations, performance evaluation, real-time systems, virtual machines, multiprocessor interconnection networks, queueing theory, packet switching, packet switches, performance improvement |
1 | Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan |
An object-oriented modeling of real-time robotic assembly system. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
maintenance engineering, industrial manipulators, real-time robotic assembly system, object-oriented-formal modeling, independent components, modular components, real-time systems, formal verification, formal verification, validation, system design, object-oriented methods, system model, manipulators, assembling, reusable components, system requirements, system maintenance, control system CAD, control engineering |
1 | Christopher Landauer, Kirstie L. Bellman |
Active integration frameworks. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
active integration frameworks, very large software system building, system infrastructure, disparate components coordination, wrapping research, heterogeneous system integration, posed problem, coordinated resource collections, software engineering, knowledge based systems, systems analysis, knowledge bases, resource |
1 | Taghi M. Khoshgoftaar, Edward B. Allen |
Multivariate assessment of complex software systems: a comparative study. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
multivariate assessment, large complex systems, robust modeling, real-time telecommunications system, categorical variables, real-time systems, principal components analysis, fault tolerant computing, software quality, software quality model, complex software systems |
1 | 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. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
thermoacoustics, real-time computer controlled ultrasound therapy system, breast cancer treatment, localized heating, data acquisition techniques, safety considerations, personal computer class machines, distributed microcontrollers, proprietary serial links, real-time operating system model, operating system interface, real-time systems, software architecture, local area networks, local area network, distributed control, data acquisition, microcontrollers, safety-critical software, hardware architecture, medical computing, control algorithms, radiation therapy, computerised control, biomedical ultrasonics |
1 | Max Mühlhäuser |
Modeling and design of complex cooperative software. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
complex cooperative software modelling, complex cooperative software design, workflow computing, workgroup computing, graphical view types, middle-out design methodology, scenario-based view type, work scenario, multi-view editor, work scenario views, software engineering, mobile computing, groupware, graphical user interfaces, distributed processing, multimedia computing, multimedia computing, application software |
1 | Jürgen Ziegler 0002, Maher Awad, Juha Kuusela |
Applying object-oriented technology in real-time systems with the OCTOPUS method. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
OCTOPUS method, systematic software development, software engineering, real-time systems, real-time systems, requirements, object-oriented methods, object-oriented technology, embedded real-time systems |
1 | Joseph J. Martinka |
Requirements for client/server performance modeling. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
client/server performance modeling requirements, distributed application models, performance modeling, discrete event simulation, discrete event simulations, client-server systems, remote procedure calls, remote procedure calls, capacity planning, performance management, functional requirements |
1 | Eduardo B. Fernández, Robert B. France |
Formal specification of real-time dependable systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring |
1 | Stephanie M. White, Michael Edwards |
A requirements taxonomy for specifying complex systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
requirements taxonomy, complex systems specification, formal specification, software fault tolerance, software systems, operational environment |
1 | Norman F. Schneidewind |
Predictions for increasing confidence in the reliability of safety critical software. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
residual faults, time to next failure, NASA Space Shuttle Primary Avionics Software System, reliability, software reliability, safety-critical software, safety critical software, confidence |
1 | Swarup Acharya, Rafael Alonso |
The computational requirements of mobile machines. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
mobile machines, Apple Newton, EO computers, InfoPad project, PARC tabs, simulation-based studies, wireless LAN, computer networks, mobile systems, operating systems (computers), network operating systems, hardware architecture, distributed information system, portable computers, portable computer, nomadic computing, display device, computational requirements, mobile radio |
1 | Jair Jehuda, Gilad Koren, Daniel M. Berry |
A time-sharing architecture for complex real-time systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
time-sharing systems, time-sharing architecture, dynamic multiple job systems, shared-memory multi-processor platforms, multiple states, near-optimal mode selection, reliable real-time time-sharing, job-oriented strategy, best-effort system values, dynamic critical task sets, complex task characteristics, real-time systems, resource allocation, shared memory systems, processor scheduling, portability, dynamic load-balancing, complex real-time systems, divide-and-conquer approach |
1 | Paul Curzon, Ian M. Leslie |
A case study on design for provability. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
design for provability, verification task, ATM network switch, formal specification, formal specification, formal verification, formal verification, switching fabric |
1 | Haifeng Qian, Eduardo B. Fernández, Jie Wu 0001 |
A combined functional and object-oriented approach to software design. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
combined functional and object-oriented approach, complex control system, hospital patient monitoring system, software engineering, functional programming, object-oriented design, software design, objects, object-oriented methods, data flow graphs, structured programming, medical computing, structured design, complex software systems, patient monitoring, large software systems, functional design, transformation function |
1 | Robert M. McGraw, Moshe Meyassed, Robert H. Klenke, James H. Aylor, Ronald D. Williams |
Refinement of system-level designs using hybrid modeling. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
system-level design refinement, complex system design, unified modeling methodology, top-down/bottom-up design methodology, modeling environment, behavioral components, high risk portions, simulation, simulation, modelling, systems analysis, product development, hybrid modeling, multi-level modeling |
1 | Wolfgang A. Halang, Kim-Fung Man, Matjaz Colnaric |
A graphical paradigm facilitating correct programming of complex computer control systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
control engineering computing, graphical paradigm, correct programming, complex computer control systems, graphical software development paradigm, off-the-shelf application-oriented standard software function blocks, interconnection pattern, invoked function block instances, complexity, formal methods, graphical user interfaces, computer graphics, software metrics, firmware, firmware |
1 | Peter Henderson 0001, Graham D. Pratten |
POSD-a notation for presenting complex systems of processes. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
retail data processing, large system behaviour, complex process systems, large enterprises, diagramming techniques, arbitrary component subcollections, very complex business systems, information systems, distributed processing, business processes, systems analysis, business process models, business data processing, flowcharting, financial data processing, data flow diagrams, corporate modelling |
1 | C. Gaspar, J. J. Schwarz |
The DELPHI experiment control system. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
physical instrumentation control, high energy physics instrumentation computing, particle detectors, DELPHI experiment, LEP, physics experiment, global approach, experiment control, homogeneous interface, real-time, automation, maintainability, control systems, control system, safety critical, user-friendly |
1 | Michelle M. Hugue, Richard C. Scalzo |
Specifying fault tolerance in large complex computing systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
fault tolerance specification, large complex computing systems, requirements specification phase, fault hypothesis, partially correct system, system fault hypothesis, health management function, performance, real-time systems, reliability, formal specification, integrity, fault tolerant computing, software reliability, availability, safety, confidentiality, software performance evaluation, maintainability, timeliness, quality of service requirements, system behaviors, system life-cycle, dependability constraints |
1 | Flavio Bonfatti, Paola Daniela Monari, Gianni Gadda |
Bridging structural and software design of PLC-based system families. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
PLC-based system families, product complexity, European Union funded projects, family-based product modelling technique, ESPRIT project 8224-RUMS, structural design phase, object-oriented PLC specification language, ESPRIT/ESSI project 10542-EASIER, software design phase, software engineering, formal specification, object-oriented programming, specification languages, software design, requirement specification, structural design, programmable controllers, system structure, control software |
1 | Gabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria |
Model-embedded on-line problem solving environment for chemical engineering. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
chemical engineering computing, chemical industry, chemical engineering, complex chemical plants, Multigraph Architecture, embedded, problem solving, on-line, problem solving environment, model-based systems, problem solving process |
1 | 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. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
engineering baselines, ASCII files, two-column index piles, system numbers, engineering tags, change set numbers, plain ASCII files, universal machine processing, database-oriented applications, work breakdown structures, development milestones, user documentation, systems analysis, traceability, visibility, system development, software development management, system documentation, system specifications |
1 | Alvin S. Lim |
Automatic analytical tools for reliability and dynamic adaptation of complex distributed systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
automatic analytical tools, complex distributed systems, runtime facilities, complex application behavior, reliability, formal specification, distributed processing, software tools, software reliability, software fault tolerance, reachability analysis, liveness, reachability, dynamic adaptation, failure recovery, development environment, behavior specification, group behavior |
1 | Wael M. Elseaidy, Rance Cleaveland |
A tool for modeling and verifying real-time systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
real-time systems verification, verification environment, graphical design la, Modechart, textually based language, Temporal CCS, system minimization, active structural control systems, real-time systems, formal verification, software tools, visual languages, equivalence checking, modeling tool |
1 | D. M. Wu, Ling Guan, G. Lau, D. Rahija |
Design and implementation of a distributed real-time image processing system. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
IBM computers, distributed real-time image processing system design, distributed real-time image processing system implementation, IBM personal computer, TCP/IP networking protocols, high performance remote devices, complex image processing tasks, image transfer, full-feature image processing and analysis package, programming platform, Internet, Internet, real-time systems, image processing, distributed processing, transport protocols, supercomputers, microcomputer applications, front end, research and development, image processing algorithms, image processing equipment, image display, transputer networks, remote computer |
1 | James B. Armstrong, Howard Jay Siegel |
Dynamic task migration from SIMD to SPMD virtual machines. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
dynamic task migration, virtual SIMD machine, virtual SPMD machine, mode-independent programming language, compiler information, memory space complexity, SIMD/SPMD mixed-machine heterogeneous systems, computational complexity, parallel programming, parallelism, virtual machines, parallel machines, time complexity, program compilers, program coding |
1 | Anita K. Jones |
Complex Systems - The External Influences. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Manabu Kawada, Xu Wu, Tadashi Ae |
A construction of neural-net based AI systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
neural-net based AI system construction, neural network technique, real-time neuron-based AI architecture, NAI, real-time case-based reasoning system, winner-take-all type neural network, real-time classification, real-time retrieval, massive case-base, flexible learning, self-organizing learning algorithm, LVQ1 learning algorithm, real-time systems, learning (artificial intelligence), knowledge based systems, unsupervised learning, supervised learning, case-based reasoning, pattern classification, learning algorithms, algorithm theory, neural net architecture |
1 | 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. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
real-time C3 systems, Airborne Warning and Control System, AWACS, MITRE, Control and Communications, future systems, real-time systems, real-time systems, operating systems, Command, data management systems, command and control systems |
1 | Shaoying Liu, Yong Sun |
Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
structured methodolog, SOFL language, structured-object-oriented-formal language, informal semantics, training centre system, formal methods, formal languages, object-oriented languages, object-oriented methods, computational linguistics, system development, industry, data flow graphs, structured programming, abstract syntax, object-oriented methodology |
1 | P. Blysa |
SDT a tool for complex real-time systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
SDT, complex real-time systems tool, object-oriented design tool, object-oriented formal specification technique SDL, C++ environments, simulator, real-time systems, real-time system, formal specification, object-oriented programming, validator, C, programming environments, editor |
1 | Erco Argante, Peter van der Stok, Ian Willers |
On-line event reconstruction using a parallel in-memory database. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
particle detectors, high energy physics instrumentation computing, on-line event reconstruction, parallel in-memory database, PORS system, high energy physics experiments, CPREAD reconstruction program, communication medium, parallel workers, farming control structure, structured data storage, high energy physics software, systematic data structuring, code maintenance, code development, SPARCcenter 2000 8-node shared memory computer, parallel programming, parallelization, data structures, software maintenance, distributed databases, shared memory systems, data conversion |
1 | Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel |
Hybrid specification of control systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
control system development, hybrid specification, formal software specification language, multidisciplinary development, control models, ASTRAL specifications, MatLab software packages, discrete subsystems, continuous subsystems, robot control system, continuous system models, simulation, simulation, formal specification, robots, formal verification, formal verification, specification languages, specification language, control theory, control theory, system behavior, control system CAD, discrete time systems, continuous time systems |
1 | Humberto E. Garcia |
Control and supervision of a complex production process using hybrid systems techniques. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
fission research reactors, nuclear engineering computing, fission reactor core control, complex production process supervision, hybrid systems techniques, Experimental Breeder Reactor II, Argonne National Laboratory, metallic sodium, sodium carbonate, hybrid system techniques, hybrid control solution |
1 | Flavio De Paoli, Francesco Tisato |
Abstract and concrete components: an approach to complex systems engineering. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
complex IT systems engineering, concrete components, abstract components, multi-view interfaces, software engineering, agents, controllers, software agents, configurators, systems engineering, object-oriented methods, architectural design, connectors, integrated approach, architectural abstractions, system life cycle |
1 | Michael S. Moore, Jim Nichols |
Model-based synthesis of a real-time image processing system. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
utility programs, MIRTIS environment, model-based synthesis, real-time image processing system, very high performance implementations, automatic data parallelization, split-and-merge processing model, parallel hardware architecture, C40 DSP network, high level programming interface, running application control, real-time systems, parallel algorithms, image processing, parallel programming, parallel architectures, graphical user interfaces, software tools, programming environments, application program interfaces, merging, model building, program control structures, graphical tools |
1 | Jin Song Dong, Gordon A. Rose, Roger Duke |
The role of secondary attributes in formal object modelling. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
secondary attributes role, formal object modelling, secondary attributes, formal object-oriented specification, formal specification, formal specification, object-oriented programming, attribute grammars |
1 | Mei-Chen Hsueh |
Large complex system test: objectives and approaches. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
large complex system test, black-box system testing, system test objectives, usage-model approach, system application environments, functional aspects, structure testing technique, nonfunctional aspects, distributed processing, program verification, program testing |
1 | Ben C. Moszkowski |
Compositional reasoning about projected and infinite time. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
multiple time granularities, parallel programming, concurrency, temporal logic, temporal logic, concurrency control, theorem proving, multiprocessing systems, deadlock, commitments, concurrent system, assumptions, Interval Temporal Logic |
1 | Pam Binns, Steve Vestal |
Architecture specifications for complex real-time dependable systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications |
1 | Luciano Baresi, Alessandro Orso, Mauro Pezzè |
Customizable notations for kernel formalisms. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
customizable notations, kernel formalisms, intuitive graphical notations, specific application domain, formal specification, formal methods, graphical user interfaces, computer graphics, tool support, graphical notations, formal foundations |
1 | Thomas C. Choinski, Daniel J. Organ, Nila D. Patel, John J. McGahan |
A software design for integrating DESTINATION with ACEIT. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
naval engineering computing, Engineering of Complex Systems Block Program, high level software architecture description, ACEIT, user interfaces, software tools, software design, systems engineering, system engineering, cost estimation, software libraries, software cost estimation, military computing, DESTINATION, automated tools |
1 | J. Richard Newman, Sharon L. Rohde |
Managing system technical risks using a process-based, integration infrastructure. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
system technical risks management, integration infrastructure, process-based infrastructure, system engineering automation, Catalyst, process-based integration infrastructure, technical performance measurement, systems analysis, risk management, risk management, systems engineering, systems engineers, safety-critical software |
1 | Daniel A. Menascé, Hassan Gomaa, Larry Kerschberg |
A performance oriented design methodology for large-scale distributed data intensive information systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
performance oriented design methodology, large-scale distributed data intensive information systems, performance oriented methodology, EOSDIS Core System, Earth Observing System Data and Information System, performance evaluation, geographic information systems, distributed databases, systems analysis, queueing network models, performance requirements |
Displaying result #901 - #995 of 995 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10] |
|