|
|
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 | Geri Georg, Indrakshi Ray, Robert B. France |
Using Aspects to Design a Secure System. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Leesa Murray, Alena Griffiths, Paul A. Strooper |
OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Lisa K. Ferrett, Jeff Offutt |
An Empirical Comparison of Modularity of Procedural and Object-oriented Software. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Reddy |
Validating Run-time Interactions in Distributed Java Applications. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
Visualization, Unified Modeling Language, Software design, Distributed applications, Assertions, Java RMI, Test adequacy criteria, Interceptors, Interaction diagrams |
1 | Branson W. Murrill, Larry J. Morell, Erika Olimpiew |
A Perturbation-based Testing Strategy. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bev Littlewood |
Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense? |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Aldo Dagnino |
An Evolutionary Lifecycle Model with Agile Practices for Software Development at ABB. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Victor R. Basili, Mikael Lindvall, Forrest Shull |
A Light-Weight Process for Capturing and Evolving Defect Reduction Experience. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Martena, Alessandro Orso, Mauro Pezzè |
Interclass Testing of Object Oriented Software. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song |
Using Role-Based Modeling Language (RBML) to Characterize Model Families. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
Object-oriented design models, role-based modeling language, UML, software reuse |
1 | Jane Huffman Hayes, Pifu Zhang |
Fault Detection Effectiveness of Spathic Test Data. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | |
8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2-4 December 2002, Greenbelt, MD, USA |
ICECCS |
2002 |
DBLP BibTeX RDF |
|
1 | Giovanni Vigna, Andrew Mitchel |
Mnemosyne: Designing and Implementing Network Short-Term Memory. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
Incident Analysis, Intrusion Detection, Network Security, Network Forensics |
1 | Jifeng He 0001 |
Integrating CSP and DC. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Vieri Del Bianco, Luigi Lavazza, Marco Mauri |
Model Checking UML Specifications of Real Time Software. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ye Wu, Dai Pan, Mei-Hwa Chen |
Techniques for Testing Component-Based Software. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
software testing, program analysis, Component-based software |
1 | Fuji Ren, Hongchi Shi |
Parallel Machine Translation: Principles and Practice. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alexander D. Stoyen |
Intelligent Agent-Based Decision-Support Systems for Complex C2 Applications. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mieke Massink, Nicoletta De Francesco |
Modelling Free Flight with Collision Avoidance. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Kristina Ahlström, Jan Torin, Per Johannessen |
Design Method for Conceptual Design of By-Wire Control: Two Case Studies. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Pierfrancesco Bellini, Paolo Nesi |
TILCO-X, an Extension of TILCO Temporal Logic. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
real-time systems, first order logic, verification and validation, formal specification language, temporal operators, temporal interval logic |
1 | Fredrik Dahlgren |
Future Mobile Phones - Complex Design Challenges from an Embedded Systems Perspective. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mika Katara, Tommi Mikkonen |
Aspect-Oriented Specification Architectures for Distributed Real-Time Systems. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
DisCo, real time, specification, distributed |
1 | Mira Kajko-Mattsson |
Can We Learn Anything from Hardware Preventive Maintenance? |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
software preventive maintenance, hardware preventive maintenance, maintainability, software ageing |
1 | Sven Graupner, Vadim E. Kotov, Holger Trinks |
A Framework for Analyzing and Organizing Complex Systems. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Harold W. Lawson |
The Problem of Platform Complexity. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | |
7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden |
ICECCS |
2001 |
DBLP BibTeX RDF |
|
1 | Paul Ammann, Wei Ding 0003, Daling Xu |
Using a Model Checker to Test Safety Properties. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
Model checking, Software testing, Safety, Mutation analysis |
1 | Izuru Kume |
An Object-Oriented Analysis and Design Approach for Safe Object Sharing. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Gerdsmeier, Rachel Cardell-Oliver |
A Method for Verifying Real-Time Properties of Ada Programs. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Felix Bübl, Andreas Leicher |
Designing Distributed Component-Based Systems With DCL. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
designing distributed systems, resource management, evolution, constraint language |
1 | Yiqin Lu, Gang Wei, To-Yat Cheung |
Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rinat Khoussainov, Tadhg O'Meara, Ahmed Patel |
Independent Proprietorship and Competition in Distributed Web Search. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey D. Hicks, Alexander D. Stoyen, Qiuming Zhu |
Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Häggander, Lars Lundberg, Jonas Matton |
Quality Attribute Conflicts - Experiences from a Large Telecommunication Application. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mira Kajko-Mattsson |
Motivating the Corrective Maintenance Maturity Model (CM3). |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
maintenance definition, process model, Maintenance, maturity, corrective maintenance |
1 | Pierfrancesco Bellini, Paolo Nesi |
Communicating TILCO: A Model for Real-Time System Specification. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
real-time systems, first order logic, verification and validation, formal specification language, temporal interval logic |
1 | Pascal Richard, Francis Cottet, Michaël Richard |
On-line Scheduling of Real-Time Distributed Computers With Complex Communication Constraints. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper |
Module Testing Embedded Software--An Industrial Pilot Project. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | De-Jiu Chen, Martin Törngren |
Towards A Framework for Architecting Mechatronics Software Systems. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann |
Verification of Hybrid Systems: Formalization and Proof Rules in PVS. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
deductive methods, machine-assisted verification, hybrid systems |
1 | Alberto Arazo, Yves Crouzet |
Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hsu-Chun Yen |
Analysis of Self-Stabilization for Infinite-State Systems. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
Petri net, self-stabilization, Decidability, infinite-state system |
1 | Antti Puhakka |
Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
com-positionality, arbitrary channel capacities, verification, protocols, parallel systems |
1 | Mila E. Majster-Cederbaum, Jinzhao Wu |
Action Refinement for True Concurrent Real Time. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
timed event structure, timed process algebra, action refinement, true concurrency |
1 | Aynur Abdurazik, Paul Ammann, Wei Ding 0003, A. Jefferson Offutt |
Evaluation of Three Specification-Based Testing Criteria. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
PROBSUBSUMES measure, specification-mutation coverage, full predicate coverage, transition-pair coverage, program testing, specification-based testing, testing criteria, model checker |
1 | Plamen V. Petrov, Alexander D. Stoyen |
An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
intelligent agent based decision support system, complex command and control application, architectural overview, AWACS Command and Control, human controllers, critical decisions, strict timing constraints, dynamically changing environment, decision support training environment, intelligent agent infrastructure, heuristics based algorithms, decision support systems, decision support, distributed simulation |
1 | Tosiyasu L. Kunii, Masayuki Hisada |
Overcoming Software Complexity by Constructing Abstraction Hierarchies - The Principles and Applications. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
sustainable social infrastructure, incrementally modular hierarchies, rapid prototyping tool, validation tool, abstracted Java program structures, Java, test case, software complexity, Java language, abstraction hierarchies, program construct, cellular modeling |
1 | Jakob Axelsson |
Cost Models for Electronic Architecture Trade Studies. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Hassan Gomaa, Shaoying Liu, Michael E. Shin |
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
domain modeling method, families of systems, SOFL formal specification language, multiple view object oriented analysis model, aggregation hierarchies, generalization/specialization hierarchies, UML static modeling notation, object communication diagrams, SOFL condition data flow diagram notation, variant classes, specification languages, application domain |
1 | Huaikou Miao, Ling Liu |
A Test Class Framework for Generating Test Cases from Z Specifications. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
test class framework, object-oriented concept, test case generation system, formal specification, oracles, test data, Z specifications, test framework, TCGS |
1 | Tae Yoneda, Tadashi Ohta |
Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation Services. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
terminal assignment detection, specification design stage, dependability, complex systems, feature interactions, computation time, telecommunication services, telecommunication services, service specifications |
1 | William G. Howerton, Michael G. Hinchey |
Using the Right Tool for the Job. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
integration phases, development technique, informal specification techniques, abstract highly structured models, rigorous analysis, Air Force Weather Agency Standard Degribber, meteorological system, data decoding/encoding, World Meteorological Organization, standard Gridded Binary format, state based issues, complete specification, tool box approach, UML, formal specification, formal methods, semantics, software specification, specification technique, formal notation, modular approach, component specification, complex systems development |
1 | Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi |
Verification Criteria for a Compositional Model for Reactive Systems. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
verification criteria, system composition/decomposition, external interface, temporal constraint propagation, structural hierarchy, missing temporal constraints, TROL, object oriented real time language, formal specification, reactive systems, compositional model, graphical notation |
1 | Shinji Inoue, Yoshiaki Kakuda, Masahiro Terabe |
New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
backup virtual path reservation, network fault-tolerance, flexible network service, source nodes, simulation, multi-agent systems, multiagent system, experiment, ATM networks, user requirements, network resource, destination nodes, idle time |
1 | A. Jefferson Offutt, Aynur Abdurazik, Roger T. Alexander |
An Analysis Tool for Coupling-Based Integration Testing. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
instrumentation techniques, Java Tree Builder, Java parser, program testing, integration testing, Java programs, test data, analysis tool |
1 | David Notkin |
Dynamically Detecting Relevant Program Invariants. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | |
6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan |
ICECCS |
2000 |
DBLP BibTeX RDF |
|
1 | Rafael Ramírez 0001, Andrew E. Santosa, Roland H. C. Yap |
Concurrent Programming Made Easy. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
constraint-based methodology, temporal constraint logic program, system concurrency, parallel programming, concurrent programming, concurrent systems, declarative specification, concurrent applications |
1 | John Alexander McDermid |
Complexity: Concept, Causes and Control. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
internal sources, modern hardware, super-scalar processors, external sources, complexity management, strict dependability requirements, software engineering, embedded systems, risk, product families, computer based systems |
1 | Takeshi Ihara, Hiroyuki Ohnishi, Yasushi Takagi |
Mobile IP Route Optimization Method for a Carrier-Scale IP Network. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
mobile IP route optimization method, carrier-scale IP network, mobile IP specification, triangular routing, data transmission delay, Internet Engineering Task Force, route length, correspondent nodes, mobile IP border gateways, MBGs, carrier-scale network, processing burden, hierarchical arrangement, foreign agents, mobile computing, mobile terminal, IETF, network resources, packet forwarding, home agent |
1 | Luis Alejandro Cortés, Petru Eles, Zebo Peng |
Definitions of Equivalence for Transformational Synthesis of Embedded Systems. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
transformational synthesis, PRES+, explicit notion, Ethernet network coprocessor, embedded systems, Petri nets, computational model, equivalence, embedded systems design, data transformation, formal notation, design cycles, complex task |
1 | Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart |
Dependability Engineering of Complex Computing Systems. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
dependability engineering, complex computing systems, development model, system creation process, classical development steps, dependability processes, fault prevention, fault forecasting, supporting processes, system creation activity, fault tolerance, software reliability, certification, quality assurance, dependable systems, checklist, fault removal |
1 | Hideaki Hirayama, Hiroki Honda, Toshitsugu Yuba |
Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
scalable data mining, log based consistency DSM, Web based online distributed database mining, research problem, data mining techniques, scalable data mining problem, performance evaluation results, scalable data mining programs, association rule based data mining programs, count-up operations, LBC mechanism, count-up operation logs, multiple nodes, data mining, distributed shared memory, high performance distributed computing, software DSM, parallel computing environments |
1 | Christopher A. Rouff, James L. Rash, Michael G. Hinchey |
Experience Using Formal Methods for Specifying a Multi-Agent System. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
multi-agent system specification, Lights Out Ground Operations System, prototype multi agent system, satellite ground operations functions, NASA Goddard Space Flight Center, GSFC, specification exercise, specification process, sample specification, formal specification, formal methods, deadlocks, race conditions, LOGOS, omissions, development team |
1 | Ryo Takeuchi, Akira Miura, Masanobu Yoshimi |
Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
service control interfaces, telephony services, computer telephony, voice-over-IP systems, VoIP systems, Intelligent Network Application Protocol, CORBA interface, lightweight implementation, Common Object Request Broker Architecture, intelligent networks, intelligent networks, interworking |
1 | Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng |
Managing Complexity in Real-Time Reactive Systems. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
complexity management, complexity categories, rigorous development, TROMLAB, rigorous framework, real-time systems, process model, software measurement, real time reactive systems, measurement methods |
1 | Takuya Katayama |
Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Hassan Gomaa, Larry Kerschberg, Ghulam A. Farrukh |
Domain Modeling of Software Process Models. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
software engineering research areas, risk-driven process model, project-specific process model, domain modeling approach, Spiral Process Model, SPM domain model, project-specific process models, software development, software reuse, process modeling, risk management, software reusability, domain modeling, domain model, software process models, Capability Maturity Model, CMM |
1 | Fuminori Nakanishi, Shinnya Hiraike, Shinji Inoue, Yoshiaki Kakuda, Kenji Toda |
A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
automobile control, task deadlines, expressway, automobile collision, scheduling, real time systems, intelligent transportation system, imprecise computation, flexible scheduling |
1 | Yasuhiro Sugiyama |
Distributed Development of Complex Software Systems with Object Make. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
Object Make, multiple computer systems, building process, single file system, remote components, local computer systems, common file system, distributed software build process, object-oriented programming, software development, software developers, computer networks, software components, file systems, distributed environment, distributed computer systems, distributed development, complex software systems, large-scale software system, large-scale software systems |
1 | Shinji Inoue, Yoshiaki Kakuda |
Multiple Backup Virtual Paths Reservation Problem and Its Solution. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
multiple backup virtual paths reservation problem, backup virtual path, primary VP, reliable computer network, multiple failures, pairwise backup VP, multiagent based method, computer network reliability |
1 | Balkhis Abu Bakar, Tomasz Janowski |
Automated Result Verification with AWK. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
AWK, result-based specifications, formal specification, formal verification, specification, software components, error detection, program generators, result-verification, result verification |
1 | Dennis Heimbigner, Richard S. Hall, Alexander L. Wolf |
A Framework for Analyzing Configurations of Deployable Software Systems. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | John D. Musa |
Developing More Reliable Software Faster and Cheaper. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Pierfrancesco Bellini, M. Buonopane, M. Montanelli, Paolo Nesi |
Evaluating a Flexible Architecture for Distributed Control. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
systems assessment, PCI, CANBUS, performance evaluation, Communication, distributed control, CNC, fieldbus, numerical control |
1 | Carlo Ghezzi |
Complexity in Human Centered Systems: The Case of Software Processes. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | A. Jefferson Offutt, Yiwei Xiong, Shaoying Liu |
Criteria for Generating Specification-Based Tests. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
Formal Methods, Software Testing, Specification-based Testing |
1 | Christopher Landauer, Kirstie L. Bellman |
Lessons Learned from Wrapping Systems. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Eric Petitjean, Hacène Fouchal |
A Realistic Architecture for Timed Testing. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Testing, Fault Model, Timed Automata, Labeled Transition Systems, Protocol Engineering |
1 | Carlos C. Amaro, Roman Nossal, Alexander D. Stoyen |
On Cost Function Synthesis for Multi-Objective Design Decisions in Complex Real-Time Systems. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo |
Formal Development and Validation of Java Dependable Distributed Systems. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
Structuring Complex Concurrent Systems, CO_OPN/2, Formal Development Stepwise Refinement, Design for Validation, CA Actions |
1 | Alan Davis |
Planning Complex Systems in a Business Context. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Douglas C. Schmidt |
Using Design Patterns, Frameworks and CORBA to Reduce the Complexity of Developing Reusable Large-Scale Object-Oriented Concurrent Communication Components and Systems. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Fred Long, Robert C. Seacord, Scott A. Hissam, John E. Robert |
Securing Internet Sessions with Sorbet. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
Security, Java, CORBA, COTS, SSL, Interceptor |
1 | Timothy D. Korson |
A Realistic Commercially Robust Process for the Development of Object-Oriented Software. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | John D. Musa |
Developing More Reliable Software Faster and Cheaper. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
reliability objective, failure intensity, failure intensity objective, operational profile, software reliability engineering |
1 | Xuequn Wu |
A CORBA-Based Architecture for Integrating Distributed and Heterogeneous Databases. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Raimund L. Feldmann, Birgit Geppert, Frank Rößler |
An Integrating Approach for Developing Distributed Software Systems -- Combining Formal Methods, Software Reuse, and the Experience Base. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Runhe Huang, Jianhua Ma 0002 |
A General Purpose Virtual Collaboration Room. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Rumpe, M. Schoenmakers, Ansgar Radermacher, Andy Schürr |
UML + ROOM as a Standard ADL? |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
ROOM, Unified Modeling Language, UML, Software Architecture, Software Components, Architecture Description Language, Real-Time Object-Oriented Modeling |
1 | Mark R. Vigder, John C. Dean |
Implementing Large-Scale Systems Using COTS Software. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Yifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White |
Practical Considerations in Protocol Verification: The E-2C Case Study. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Paul Leung, Shing-Chi Cheung |
A CSCW Framework for the Flexible Coupling of Groupware Widgets. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
group synchronization, collaboration, CSCW, groupware, coupling, notification service, client-server model |
1 | Jiacun Wang, Chun Jin, Yi Deng 0001 |
Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
Traffic control systems, performance evaluation, stochastic timed Petri nets |
1 | |
5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), October 18-22, 1999, Las Vegas, NV, USA |
ICECCS |
1999 |
DBLP BibTeX RDF |
|
1 | Rick Kazman, Mark H. Klein, Mario Barbacci, Thomas A. Longstaff, Howard F. Lipson, S. Jeromy Carrière |
The Architecture Tradeoff Analysis Method. |
ICECCS |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiaki Kakuda, Shin'ichi Nagano, Tohru Kikuno, Masahiro Terabe |
VP Reservation for Rapid Restoration Using Multiagents. |
ICECCS |
1998 |
DBLP DOI BibTeX RDF |
primary VP, backup VP, ATM, multiagents, cooperative problem solving, virtual path |
1 | |
4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 10-14 August 1998, Monterey, CA, USA |
ICECCS |
1998 |
DBLP BibTeX RDF |
|
1 | Carlos C. Amaro, Alexander D. Stoyen, Sanjoy K. Baruah |
Inter-Completion Time Scheduling (ICTS): Non-Preemptive Scheduling to Maximize the Minimum Inter-Completion Time. |
ICECCS |
1998 |
DBLP DOI BibTeX RDF |
non-preemptive scheduling, single and multiple processors, load-balancing, complex systems, independent tasks |
Displaying result #701 - #800 of 995 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|