The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ICECCS"( http://dblp.L3S.de/Venues/ICECCS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/iceccs

Publication years (Num. hits)
1995 (78) 1996 (82) 1997 (26) 1998-1999 (36) 2000 (28) 2001 (30) 2002 (27) 2004 (28) 2005 (78) 2006 (30) 2007 (41) 2008 (36) 2009 (50) 2010 (53) 2011 (40) 2012 (39) 2013 (40) 2014 (30) 2015 (31) 2016 (33) 2017 (24) 2018 (30) 2019 (28) 2020 (26) 2022 (25) 2023 (26)
Publication types (Num. hits)
inproceedings(968) proceedings(27)
Venues (Conferences, Journals, ...)
ICECCS(995)
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
1Geri Georg, Indrakshi Ray, Robert B. France Using Aspects to Design a Secure System. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Leesa Murray, Alena Griffiths, Paul A. Strooper OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Lisa K. Ferrett, Jeff Offutt An Empirical Comparison of Modularity of Procedural and Object-oriented Software. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Reddy Validating Run-time Interactions in Distributed Java Applications. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Visualization, Unified Modeling Language, Software design, Distributed applications, Assertions, Java RMI, Test adequacy criteria, Interceptors, Interaction diagrams
1Branson W. Murrill, Larry J. Morell, Erika Olimpiew A Perturbation-based Testing Strategy. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Bev Littlewood Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense? Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Aldo Dagnino An Evolutionary Lifecycle Model with Agile Practices for Software Development at ABB. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Victor R. Basili, Mikael Lindvall, Forrest Shull A Light-Weight Process for Capturing and Evolving Defect Reduction Experience. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Vincenzo Martena, Alessandro Orso, Mauro Pezzè Interclass Testing of Object Oriented Software. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song Using Role-Based Modeling Language (RBML) to Characterize Model Families. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Object-oriented design models, role-based modeling language, UML, software reuse
1Jane Huffman Hayes, Pifu Zhang Fault Detection Effectiveness of Spathic Test Data. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2-4 December 2002, Greenbelt, MD, USA Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  BibTeX  RDF
1Giovanni Vigna, Andrew Mitchel Mnemosyne: Designing and Implementing Network Short-Term Memory. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Incident Analysis, Intrusion Detection, Network Security, Network Forensics
1Jifeng He 0001 Integrating CSP and DC. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Vieri Del Bianco, Luigi Lavazza, Marco Mauri Model Checking UML Specifications of Real Time Software. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ye Wu, Dai Pan, Mei-Hwa Chen Techniques for Testing Component-Based Software. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF software testing, program analysis, Component-based software
1Fuji Ren, Hongchi Shi Parallel Machine Translation: Principles and Practice. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alexander D. Stoyen Intelligent Agent-Based Decision-Support Systems for Complex C2 Applications. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mieke Massink, Nicoletta De Francesco Modelling Free Flight with Collision Avoidance. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Kristina Ahlström, Jan Torin, Per Johannessen Design Method for Conceptual Design of By-Wire Control: Two Case Studies. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Pierfrancesco Bellini, Paolo Nesi TILCO-X, an Extension of TILCO Temporal Logic. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF real-time systems, first order logic, verification and validation, formal specification language, temporal operators, temporal interval logic
1Fredrik Dahlgren Future Mobile Phones - Complex Design Challenges from an Embedded Systems Perspective. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mika Katara, Tommi Mikkonen Aspect-Oriented Specification Architectures for Distributed Real-Time Systems. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF DisCo, real time, specification, distributed
1Mira Kajko-Mattsson Can We Learn Anything from Hardware Preventive Maintenance? Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF software preventive maintenance, hardware preventive maintenance, maintainability, software ageing
1Sven Graupner, Vadim E. Kotov, Holger Trinks A Framework for Analyzing and Organizing Complex Systems. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Harold W. Lawson The Problem of Platform Complexity. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  BibTeX  RDF
1Paul Ammann, Wei Ding 0003, Daling Xu Using a Model Checker to Test Safety Properties. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Model checking, Software testing, Safety, Mutation analysis
1Izuru Kume An Object-Oriented Analysis and Design Approach for Safe Object Sharing. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Thorsten Gerdsmeier, Rachel Cardell-Oliver A Method for Verifying Real-Time Properties of Ada Programs. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Felix Bübl, Andreas Leicher Designing Distributed Component-Based Systems With DCL. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF designing distributed systems, resource management, evolution, constraint language
1Yiqin Lu, Gang Wei, To-Yat Cheung Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Rinat Khoussainov, Tadhg O'Meara, Ahmed Patel Independent Proprietorship and Competition in Distributed Web Search. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jeffrey D. Hicks, Alexander D. Stoyen, Qiuming Zhu Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Daniel Häggander, Lars Lundberg, Jonas Matton Quality Attribute Conflicts - Experiences from a Large Telecommunication Application. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mira Kajko-Mattsson Motivating the Corrective Maintenance Maturity Model (CM3). Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF maintenance definition, process model, Maintenance, maturity, corrective maintenance
1Pierfrancesco Bellini, Paolo Nesi Communicating TILCO: A Model for Real-Time System Specification. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF real-time systems, first order logic, verification and validation, formal specification language, temporal interval logic
1Pascal Richard, Francis Cottet, Michaël Richard On-line Scheduling of Real-Time Distributed Computers With Complex Communication Constraints. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper Module Testing Embedded Software--An Industrial Pilot Project. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1De-Jiu Chen, Martin Törngren Towards A Framework for Architecting Mechatronics Software Systems. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann Verification of Hybrid Systems: Formalization and Proof Rules in PVS. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF deductive methods, machine-assisted verification, hybrid systems
1Alberto Arazo, Yves Crouzet Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Hsu-Chun Yen Analysis of Self-Stabilization for Infinite-State Systems. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Petri net, self-stabilization, Decidability, infinite-state system
1Antti Puhakka Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF com-positionality, arbitrary channel capacities, verification, protocols, parallel systems
1Mila E. Majster-Cederbaum, Jinzhao Wu Action Refinement for True Concurrent Real Time. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF timed event structure, timed process algebra, action refinement, true concurrency
1Aynur Abdurazik, Paul Ammann, Wei Ding 0003, A. Jefferson Offutt Evaluation of Three Specification-Based Testing Criteria. Search on Bibsonomy ICECCS The full citation details ... 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
1Plamen V. Petrov, Alexander D. Stoyen An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application. Search on Bibsonomy ICECCS The full citation details ... 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
1Tosiyasu L. Kunii, Masayuki Hisada Overcoming Software Complexity by Constructing Abstraction Hierarchies - The Principles and Applications. Search on Bibsonomy ICECCS The full citation details ... 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
1Jakob Axelsson Cost Models for Electronic Architecture Trade Studies. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Hassan Gomaa, Shaoying Liu, Michael E. Shin Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. Search on Bibsonomy ICECCS The full citation details ... 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
1Huaikou Miao, Ling Liu A Test Class Framework for Generating Test Cases from Z Specifications. Search on Bibsonomy ICECCS The full citation details ... 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
1Tae Yoneda, Tadashi Ohta Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation Services. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF terminal assignment detection, specification design stage, dependability, complex systems, feature interactions, computation time, telecommunication services, telecommunication services, service specifications
1William G. Howerton, Michael G. Hinchey Using the Right Tool for the Job. Search on Bibsonomy ICECCS The full citation details ... 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
1Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi Verification Criteria for a Compositional Model for Reactive Systems. Search on Bibsonomy ICECCS The full citation details ... 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
1Shinji Inoue, Yoshiaki Kakuda, Masahiro Terabe New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks. Search on Bibsonomy ICECCS The full citation details ... 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
1A. Jefferson Offutt, Aynur Abdurazik, Roger T. Alexander An Analysis Tool for Coupling-Based Integration Testing. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF instrumentation techniques, Java Tree Builder, Java parser, program testing, integration testing, Java programs, test data, analysis tool
1David Notkin Dynamically Detecting Relevant Program Invariants. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  BibTeX  RDF
1Rafael Ramírez 0001, Andrew E. Santosa, Roland H. C. Yap Concurrent Programming Made Easy. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF constraint-based methodology, temporal constraint logic program, system concurrency, parallel programming, concurrent programming, concurrent systems, declarative specification, concurrent applications
1John Alexander McDermid Complexity: Concept, Causes and Control. Search on Bibsonomy ICECCS The full citation details ... 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
1Takeshi Ihara, Hiroyuki Ohnishi, Yasushi Takagi Mobile IP Route Optimization Method for a Carrier-Scale IP Network. Search on Bibsonomy ICECCS The full citation details ... 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
1Luis Alejandro Cortés, Petru Eles, Zebo Peng Definitions of Equivalence for Transformational Synthesis of Embedded Systems. Search on Bibsonomy ICECCS The full citation details ... 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
1Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart Dependability Engineering of Complex Computing Systems. Search on Bibsonomy ICECCS The full citation details ... 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
1Hideaki Hirayama, Hiroki Honda, Toshitsugu Yuba Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing. Search on Bibsonomy ICECCS The full citation details ... 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
1Christopher A. Rouff, James L. Rash, Michael G. Hinchey Experience Using Formal Methods for Specifying a Multi-Agent System. Search on Bibsonomy ICECCS The full citation details ... 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
1Ryo Takeuchi, Akira Miura, Masanobu Yoshimi Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications. Search on Bibsonomy ICECCS The full citation details ... 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
1Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng Managing Complexity in Real-Time Reactive Systems. Search on Bibsonomy ICECCS The full citation details ... 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
1Takuya Katayama Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Hassan Gomaa, Larry Kerschberg, Ghulam A. Farrukh Domain Modeling of Software Process Models. Search on Bibsonomy ICECCS The full citation details ... 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
1Fuminori Nakanishi, Shinnya Hiraike, Shinji Inoue, Yoshiaki Kakuda, Kenji Toda A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF automobile control, task deadlines, expressway, automobile collision, scheduling, real time systems, intelligent transportation system, imprecise computation, flexible scheduling
1Yasuhiro Sugiyama Distributed Development of Complex Software Systems with Object Make. Search on Bibsonomy ICECCS The full citation details ... 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
1Shinji Inoue, Yoshiaki Kakuda Multiple Backup Virtual Paths Reservation Problem and Its Solution. Search on Bibsonomy ICECCS The full citation details ... 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
1Balkhis Abu Bakar, Tomasz Janowski Automated Result Verification with AWK. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF AWK, result-based specifications, formal specification, formal verification, specification, software components, error detection, program generators, result-verification, result verification
1Dennis Heimbigner, Richard S. Hall, Alexander L. Wolf A Framework for Analyzing Configurations of Deployable Software Systems. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1John D. Musa Developing More Reliable Software Faster and Cheaper. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Pierfrancesco Bellini, M. Buonopane, M. Montanelli, Paolo Nesi Evaluating a Flexible Architecture for Distributed Control. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF systems assessment, PCI, CANBUS, performance evaluation, Communication, distributed control, CNC, fieldbus, numerical control
1Carlo Ghezzi Complexity in Human Centered Systems: The Case of Software Processes. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1A. Jefferson Offutt, Yiwei Xiong, Shaoying Liu Criteria for Generating Specification-Based Tests. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Formal Methods, Software Testing, Specification-based Testing
1Christopher Landauer, Kirstie L. Bellman Lessons Learned from Wrapping Systems. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Eric Petitjean, Hacène Fouchal A Realistic Architecture for Timed Testing. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Real-Time Systems, Testing, Fault Model, Timed Automata, Labeled Transition Systems, Protocol Engineering
1Carlos C. Amaro, Roman Nossal, Alexander D. Stoyen On Cost Function Synthesis for Multi-Objective Design Decisions in Complex Real-Time Systems. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo Formal Development and Validation of Java Dependable Distributed Systems. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Structuring Complex Concurrent Systems, CO_OPN/2, Formal Development Stepwise Refinement, Design for Validation, CA Actions
1Alan Davis Planning Complex Systems in a Business Context. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Douglas C. Schmidt Using Design Patterns, Frameworks and CORBA to Reduce the Complexity of Developing Reusable Large-Scale Object-Oriented Concurrent Communication Components and Systems. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Fred Long, Robert C. Seacord, Scott A. Hissam, John E. Robert Securing Internet Sessions with Sorbet. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Security, Java, CORBA, COTS, SSL, Interceptor
1Timothy D. Korson A Realistic Commercially Robust Process for the Development of Object-Oriented Software. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1John D. Musa Developing More Reliable Software Faster and Cheaper. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF reliability objective, failure intensity, failure intensity objective, operational profile, software reliability engineering
1Xuequn Wu A CORBA-Based Architecture for Integrating Distributed and Heterogeneous Databases. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Raimund L. Feldmann, Birgit Geppert, Frank Rößler An Integrating Approach for Developing Distributed Software Systems -- Combining Formal Methods, Software Reuse, and the Experience Base. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Runhe Huang, Jianhua Ma 0002 A General Purpose Virtual Collaboration Room. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Bernhard Rumpe, M. Schoenmakers, Ansgar Radermacher, Andy Schürr UML + ROOM as a Standard ADL? Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ROOM, Unified Modeling Language, UML, Software Architecture, Software Components, Architecture Description Language, Real-Time Object-Oriented Modeling
1Mark R. Vigder, John C. Dean Implementing Large-Scale Systems Using COTS Software. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Yifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White Practical Considerations in Protocol Verification: The E-2C Case Study. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Paul Leung, Shing-Chi Cheung A CSCW Framework for the Flexible Coupling of Groupware Widgets. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF group synchronization, collaboration, CSCW, groupware, coupling, notification service, client-server model
1Jiacun Wang, Chun Jin, Yi Deng 0001 Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models. Search on Bibsonomy ICECCS The full citation details ... 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 Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  BibTeX  RDF
1Rick Kazman, Mark H. Klein, Mario Barbacci, Thomas A. Longstaff, Howard F. Lipson, S. Jeromy Carrière The Architecture Tradeoff Analysis Method. Search on Bibsonomy ICECCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Yoshiaki Kakuda, Shin'ichi Nagano, Tohru Kikuno, Masahiro Terabe VP Reservation for Rapid Restoration Using Multiagents. Search on Bibsonomy ICECCS The full citation details ... 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 Search on Bibsonomy ICECCS The full citation details ... 1998 DBLP  BibTeX  RDF
1Carlos C. Amaro, Alexander D. Stoyen, Sanjoy K. Baruah Inter-Completion Time Scheduling (ICTS): Non-Preemptive Scheduling to Maximize the Minimum Inter-Completion Time. Search on Bibsonomy ICECCS The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license