Search results for "DCCA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
190	Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale	DCCA: a versatile paradigm for the description and development of concurrent communicating systems.	HICSS (2)	1995	DBLP DOI BibTeX RDF	DCCA, concurrent communicating systems development, concurrent communicating systems description, Dynamic Coordinated Concurrent Activities, automated factory, multiprocessor cache coherence system, attendant toolset, model, distributed systems, software engineering, formal specification, formal specification, protocols, specification, prototyping, distributed processing, program verification, rapid prototyping, software prototyping, distributed control system
158	Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn	Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA).	EDCC	2005	DBLP DOI BibTeX RDF
88	Matthias Güdemann, Frank Ortmeier, Wolfgang Reif	Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.	SAFECOMP	2007	DBLP DOI BibTeX RDF	deductive cause consequence analysis, dcca, SCADE, formal methods, dependability, safety critical systems, safety analysis
51	Tingkai Sun, Songcan Chen, Jing-Yu Yang, Pengfei Shi	A Novel Method of Combined Feature Extraction for Recognition.	ICDM	2008	DBLP DOI BibTeX RDF
30	Gudmalwar Ashishkumar Prabhakar, Biplove Basel, Anirban Dutta, Ch. V. Rama Rao	Multichannel CNN-BLSTM Architecture for Speech Emotion Recognition System by Fusion of Magnitude and Phase Spectral Features Using DCCA for Consumer Applications.	IEEE Trans. Consumer Electron.	2023	DBLP DOI BibTeX RDF
30	Shubhangi Deshmukh, Aditya Abhyankar, Shubhangi Kelkar	DCCA and DMCCA framework for multimodal biometric system.	Multim. Tools Appl.	2022	DBLP DOI BibTeX RDF
30	Taiane Schaedler Prass, Guilherme Pumi	On the behavior of the DFA and DCCA in trend-stationary processes.	J. Multivar. Anal.	2021	DBLP DOI BibTeX RDF
30	Hongzeng He, Shufen Dai	Effectiveness of Price Limit on Stock Market Network: A Time-Migrated DCCA Approach.	Complex.	2021	DBLP DOI BibTeX RDF
30	Jia Li, Xu Wu, Linlin Zhang, Qianying Feng	Research on the portfolio model based on Mean-MF-DCCA under multifractal feature constraint.	J. Comput. Appl. Math.	2021	DBLP DOI BibTeX RDF
30	Xinxin Zhang, Leilei Gu, Hong Chen, Guozhu Jia	Study on the influence of surrounding urban SO2, NO2, and CO on haze formation in Beijing based on MF-DCCA and boosting algorithms.	Concurr. Comput. Pract. Exp.	2020	DBLP DOI BibTeX RDF
30	Nan Xu, Songsong Li	Segment Stock Market, Foreign Investors, and Cross-Correlation: Evidence from MF-DCCA and Spillover Index.	Complex.	2020	DBLP DOI BibTeX RDF
30	Leilei Gu, Xinxin Zhang, Ke Li, Guozhu Jia	Weekend Box Office Forecasting Based on MF-DCCA and Multiple Neural Networks Approach.	CSAE	2020	DBLP DOI BibTeX RDF
30	Chaohui Xiang, Xiaozhen Hao, Wenhui Wang, Zhenlong Chen	Asymmetric MF-DCCA Method Based on Fluctuation Conduction and its Application in Air Pollution in Hangzhou.	J. Adv. Comput. Intell. Intell. Informatics	2019	DBLP DOI BibTeX RDF
30	Yuan Chen 0008, Qingkuan Dong	Achieving CCA security from DCCA security more efficiently by using the KEM+DEM hybrid paradigm.	Secur. Commun. Networks	2015	DBLP DOI BibTeX RDF
30	Florent Baty, Dirk Klingbiel, Francesco Zappa, Martin H. Brutsche	High-throughput alternative splicing detection using dually constrained correspondence analysis (DCCA).	J. Biomed. Informatics	2015	DBLP DOI BibTeX RDF
30	Yuan Chen 0008, Xiaofeng Chen 0001, Hui Li 0006	More DCCA-secure public-key encryptions from KEM + DEM style hybrid paradigms and some observations on the 'inner-outer' structure.	Int. J. Grid Util. Comput.	2014	DBLP DOI BibTeX RDF
30	Alex King, James Brown, Utz Roedig	DCCA: Differentiating Clear Channel Assessment for improved 802.11/802.15.4 coexistence.	WiMob	2014	DBLP DOI BibTeX RDF
30	Yuan Chen 0008, Xiaofeng Chen 0001, Hui Li 0006	DCCA-Secure Public-Key Encryptions from Hybrid Paradigms.	INCoS	2012	DBLP DOI BibTeX RDF
30	Anindya Bhattacharya, Rajat K. De	Divisive Correlation Clustering Algorithm (DCCA) for grouping of genes: detecting varying patterns in expression profiles.	Bioinform.	2008	DBLP DOI BibTeX RDF
30		2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA	DSN	2000	DBLP BibTeX RDF
30	Timothy K. Tsai, Navjot Singh 0001	Reliability Testing of Applications on Windows NT.	DSN	2000	DBLP DOI BibTeX RDF	fault tolerance, reliability, testing, fault injection, Windows NT
30	Irith Pomeranz, Sudhakar M. Reddy	Test-Point Insertion to Enhance Test Compaction for Scan Designs.	DSN	2000	DBLP DOI BibTeX RDF	Scan design, test-point insertion, static test compaction
30	Bengi Karaçali, Kuo-Chung Tai, Mladen A. Vouk	Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis.	DSN	2000	DBLP DOI BibTeX RDF	Simultaneous Reachability Analysis, Extended Finite State Machine Model, Race Conditions, Deadlock Detection
30	Qixiang Sun, Daniel C. Sturman	A Gossip-Based Reliable Multicast for Large-Scale High-Throughput Applications.	DSN	2000	DBLP DOI BibTeX RDF	gossip style, log-based, reliable multicast
30	John F. Meyer	Performability of Algorithms for Connection Admission Control.	DSN	2000	DBLP DOI BibTeX RDF	Broadband telecommunication networks, variable bit rate (VBR) traffic, performability, effective bandwidth, connection admission control (CAC)
30	Jim Chen, David Har, Ken Mak, Charles O. Schulz, R. Brett Tremaine, Michael E. Wazlowski	Reliability-Availability-Serviceability Characteristics of a Compressed-Memory System.	DSN	2000	DBLP DOI BibTeX RDF
30	Yi-Min Wang, Wilf Russell, Anish Arora, Rajesh Jagannathan, Jun Xu	Towards Dependable Home Networking: An Experience Report.	DSN	2000	DBLP DOI BibTeX RDF	Power line control, Lookup service, Publish/subscribe eventing, Heterogeneous protocols, Security, Reliability, Manageability, Dependability, Self-stabilization, Extensibility, Heterogeneous networks, Home networking, Remote control, Home automation, Heterogeneous devices, Heartbeats, Soft states, Device discovery
30	Martin Hiller	Executable Assertions for Detecting Data Errors in Embedded Control Systems.	DSN	2000	DBLP DOI BibTeX RDF	signal classification scheme, error detection, fault injection, software implemented fault tolerance, executable assertions
30	Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo	An Automatic SPIN Validation of a Safety Critical Railway Control System.	DSN	2000	DBLP DOI BibTeX RDF	dependable protocols, model checking, formal verification, safety-critical systems
30	Nicholas S. Bowen, Daniel C. Sturman, Tina Ting Liu	Towards Continuous Availability of Internet Services through Availability Domains.	DSN	2000	DBLP DOI BibTeX RDF
30	Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith	A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks.	DSN	2000	DBLP DOI BibTeX RDF	many-to-many, reliable, multicast, ATM, group communication
30	Paulo Veríssimo, António Casimiro, Christof Fetzer	he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness.	DSN	2000	DBLP DOI BibTeX RDF
30	Adnan Agbaria, James S. Plank	Design, Implementation, and Performance of Checkpointing in NetSolve.	DSN	2000	DBLP DOI BibTeX RDF	performance, implementation, Checkpointing, scientific computing
30	Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno	Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems.	DSN	2000	DBLP DOI BibTeX RDF	fault-secure scheduling, tests, multiprocessors, task graphs, fault security
30	Peng Liu 0005, Peng Ning, Sushil Jajodia	Avoiding Loss of Fairness Owing to Process Crashes in Fair Data Exchange Protocols.	DSN	2000	DBLP DOI BibTeX RDF	Electronic Commerce, Fairness, Fair Exchange, Recoverability
30	Alfredo Benso, Silvia Chiusano, Paolo Prinetto, Luca Tagliaferri	A C/C++ Source-to-Source Compiler for Dependable Applications.	DSN	2000	DBLP DOI BibTeX RDF
30	Steven Cheung, Karl N. Levitt	A Formal-Specification Based Approach for Protecting the Domain Name System.	DSN	2000	DBLP DOI BibTeX RDF	automated response, software wrapper, intrusion detection, assurance, network infrastructure
30	Yutao He, Algirdas Avizienis	Assessment of the Applicability of COTS Microprocessors in High-Confidence Computing Systems: A Case Study.	DSN	2000	DBLP DOI BibTeX RDF
30	Bernadette Charron-Bost, Rachid Guerraoui, André Schiper	Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue.	DSN	2000	DBLP DOI BibTeX RDF	fault-tolerance, distributed systems, efficiency, consensus, asynchronous system, failure detector, synchronous system
30	Scott Johnson 0002, Farnam Jahanian, Sunondo Ghosh, Brian Van Voorst, Nicholas Weininger	Experiences with Group Communication Middleware.	DSN	2000	DBLP DOI BibTeX RDF	distributed systems, middleware, group communication, fault-tolerant communication
30	Kenneth Prager, Michael Vahey, William Farwell, James Whitney, Jon Lieb	A Fault Tolerant Signal Processing Computer.	DSN	2000	DBLP DOI BibTeX RDF	distributed crossbar, Fault detection, voting, single event upset, configurable computing, fault recovery
30	Diamantino Costa, Tiago Rilho, Henrique Madeira	Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection.	DSN	2000	DBLP DOI BibTeX RDF
30	Faisal Rashid, Kewal K. Saluja, Parameswaran Ramanathan	Fault Tolerance through Re-Execution in Multiscalar Architecture.	DSN	2000	DBLP DOI BibTeX RDF	Multiscalar architecture, Re-execution, Static configuration, Fault-tolerance, Dynamic configuration, Time redundancy
30	Scott Hazelhurst, Adi Attar, Raymond Sinnappan	Algorithms for Improving the Dependability of Firewall and Filter Rule Lists.	DSN	2000	DBLP DOI BibTeX RDF	Boolean decision diagrams, validation, filtering, firewalls, traffic management
30	Wei Chen 0013, Sam Toueg, Marcos Kawazoe Aguilera	On the Quality of Service of Failure Detectors.	DSN	2000	DBLP DOI BibTeX RDF	Quality of Service, Fault Tolerance, Distributed Computing, Probabilistic Analysis, Failure Detector
30	Yann-Hang Lee, Daeyoung Kim 0001, Mohamed F. Younis, Jeffrey X. Zhou, James McElroy	Resource Scheduling in Dependable Integrated Modular Avionics.	DSN	2000	DBLP DOI BibTeX RDF
30	Michael J. Turmon, Robert Granat, Daniel S. Katz	Software-Implemented Fault Detection for High-Performance Space Applications.	DSN	2000	DBLP DOI BibTeX RDF	tolerance setting, space, Algorithm based fault tolerance, result checking, checksum
30	Ajay Mohindra, Apratim Purakayastha, Prasannaa Thati	Exploiting Non-Determinism for Reliability of Mobile Agent Systems.	DSN	2000	DBLP DOI BibTeX RDF	reliability, mobile-agent, fault-detection, recovery, non-determinism
30	Ramesh Chandra, Ryan M. Lefever, Michel Cukier, William H. Sanders	Loki: A State-Driven Fault Injector for Distributed Systems.	DSN	2000	DBLP DOI BibTeX RDF	Distributed system validation, State-driven fault injection, Fault injection, Experimental evaluation
30	Wenliang Du, Aditya P. Mathur	Testing for Software Vulnerability Using Environment Perturbation.	DSN	2000	DBLP DOI BibTeX RDF	environment perturbation, fault injection, Security testing, security flaws
30	Masayuki Arai, Anna Yamaguchi, Kazuhiko Iwasaki	Method to Recover Internet Packet Losses Using (n, n - 1, m) Convolutional Codes.	DSN	2000	DBLP DOI BibTeX RDF	Internet packet loss, forward error correction, convolutional codes, dependable network, loss recovery
30	Cristiana Amza, Alan L. Cox, Willy Zwaenepoel	Data Replication Strategies for Fault Tolerance and Availability on Commodity Clusters.	DSN	2000	DBLP DOI BibTeX RDF	reliable memory, primary-backup, cluster, fault tolerance, replication
30	Eliane Martins, Amanda C. A. Rosa	A Fault Injection Approach Based on Reflective Programming.	DSN	2000	DBLP DOI BibTeX RDF	OO systems, reflective programming, metaobjects, software fault injection
30	Antonio Caruso 0001, Stefano Chessa, Piero Maestrini, Paolo Santi	Diagnosis of Regular Structures.	DSN	2000	DBLP DOI BibTeX RDF	Fault-tolerance, parallel architectures, fault diagnosis, system-level diagnosis
30	Sergio Contini, Stefan Scheer, Marc Wilikens	Sensitivity Analysis for System Design Improvement.	DSN	2000	DBLP DOI BibTeX RDF
30	Chris J. Walter, Neeraj Suri, T. Monaghan	Evaluating COTS Standards for Design of Dependable Systems.	DSN	2000	DBLP DOI BibTeX RDF
30	Svend Frølund, Rachid Guerraoui	Implementing e-Transactions with Asynchronous Replication.	DSN	2000	DBLP DOI BibTeX RDF
30	Charles P. Shelton, Philip Koopman, Kobey Devale	Robustness Testing of the Microsoft Win32 API.	DSN	2000	DBLP DOI BibTeX RDF	software robustness testing, Windows vs. Linux, exception handling
30	Avi Mendelson, Neeraj Suri	Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar (O3RS) Approach.	DSN	2000	DBLP DOI BibTeX RDF	Transient Errors/Recovery, Pipelines, Superscalar architectures
30	Yair Amir, Claudiu Danilov 0001, Jonathan Robert Stanton	A Low Latency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication.	DSN	2000	DBLP DOI BibTeX RDF	TCP/IP, Overlay Networks, Group Communication, Wide Area Networks, Reliable Multicast
30	Yasunao Katayama, Sumio Morioka	One-Shot Reed-Solomon Decoding for High-Performance Dependable Systems.	DSN	2000	DBLP DOI BibTeX RDF
30	Myron Hecht, Xuegao An, Bing Zhang, Yutao He	OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications.	DSN	2000	DBLP DOI BibTeX RDF
30	Roy A. Maxion, Kymie M. C. Tan	Benchmarking Anomaly-Based Detection Systems.	DSN	2000	DBLP DOI BibTeX RDF	intrusion detection, benchmarking, Anomaly detection, computer security, empirical methods
30	Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang	Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams.	DSN	2000	DBLP DOI BibTeX RDF	simulation and model checking, formal specifications, Object-oriented modeling
30	Julia L. Lawall, Gilles Muller	Efficient Incremental Checkpointing of Java Programs.	DSN	2000	DBLP DOI BibTeX RDF	incremental checkpointing, Java, program specialization
30	Graham Morgan, Santosh K. Shrivastava	Implementing Flexible Object Group Invocation in Networked Systems.	DSN	2000	DBLP DOI BibTeX RDF
30	Luís Moura Silva, Victor Batista, João Gabriel Silva	Fault-Tolerant Execution of Mobile Agents.	DSN	2000	DBLP DOI BibTeX RDF	Fault-Tolerance, Distributed Computing, Mobile Agents
30	Meng-Lai Yin, Craig L. Hyde, Rafael R. Arellano	Sensitivity Analysis on Dependencies in Dynamic Availability Models for Large Systems.	DSN	2000	DBLP DOI BibTeX RDF
30	Achour Mostéfaoui, Michel Raynal, Frederic Tronel	The Best of Both Worlds: A Hybrid Approach to Solve Consensus.	DSN	2000	DBLP DOI BibTeX RDF	Fault-Tolerance, Message Passing, Asynchronous Distributed System, Crash Failure, Unreliable Failure Detector, Consensus Problem, Randomized Protocol
30	Lorenzo Alvisi, Evelyn Tumlin Pierce, Dahlia Malkhi, Michael K. Reiter, Rebecca N. Wright	Dynamic Byzantine Quorum Systems.	DSN	2000	DBLP DOI BibTeX RDF	fault tolerance, dynamic reconfiguration, quorum systems, Byzantine faults
30	Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna, Roberto Filippini, S. Poli, F. Sandrini	DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems.	DSN	2000	DBLP DOI BibTeX RDF	Multiple-Phased Systems, Dependability Modeling and Evaluation, Deterministic and Stochastic Petri Nets, Scheduled Maintenance, Markov Regenerative Processes
30	Fannie Chen, Loring Craymer, Jeff Deifik, Alvin J. Fogel, Daniel S. Katz, Alfred G. Silliman Jr., Raphael R. Some, Sean A. Upchurch, Keith Whisnant	Demonstration of the Remote Exploration and Experimentation (REE) Fault-Tolerant Parallel-Processing Supercomputer for Spacecraft Onboard Scientific Data Processing.	DSN	2000	DBLP DOI BibTeX RDF	Application-Based Fault Tolerance, Fault-Tolerant, Parallel-Processing, MPI, Fault Injection, Software-Implemented Fault Tolerance
30	Henrique Madeira, Diamantino Costa, Marco Vieira	On the Emulation of Software Faults by Software Fault Injection.	DSN	2000	DBLP DOI BibTeX RDF	Fault injection, software faults, fault classification
30	Somesh Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff	Survivability Analysis of Network Specifications.	DSN	2000	DBLP DOI BibTeX RDF
30	Jean-Baptiste Boullié, Michel Brun	A New Rolling Stock Architecture Using Safety Computers and Networks.	DSN	2000	DBLP DOI BibTeX RDF
30	Cheng J. Lin, Alberto Avritzer, Elaine J. Weyuker, Sai-Lai Lo	Issues in Interoperability and Performance Verification in a Multi-ORB Telecommunications Environment.	DSN	2000	DBLP DOI BibTeX RDF	CORBA Interoperability, Test Suite Design, Multi-ORB Environment, Performance Verification
30	Subhachandra Chandra, Peter M. Chen	Whither Generic Recovery from Application Faults? A Fault Study using Open-Source Software.	DSN	2000	DBLP DOI BibTeX RDF	Heisenbugs, Software, Recovery, Faults, Transient
30	Vijay Lakamraju, Zahava Koren, C. Mani Krishna 0001	Synthesis of Interconnection Networks: A Novel Approach.	DSN	2000	DBLP DOI BibTeX RDF	low diameter, fault tolerance, scalability, Interconnection networks, filtering, random regular graphs
30	Dam Q. Hai, Son T. Vuong	Dynamic-Distributed Differentiated Service for Multimedia Applications.	DSN	2000	DBLP DOI BibTeX RDF
30	J. Jenny Li, Joseph Robert Horgan	A Tool Suite for Diagnosis and Testing of Software Design Specifications.	DSN	2000	DBLP DOI BibTeX RDF	Software design specification, xSuds and Specification and Description Language (SDL [2]), software engineering tool, coverage testing
30	G. Sai Kiran Reddy, C. Siva Ram Murthy, G. Manimaran	Reconfiguration Based Failure Restoration in Wavelength-Routed WDM Networks.	DSN	2000	DBLP DOI BibTeX RDF	Failure restoration, Service disruption, Reconfiguration, Heuristic algorithms, Lightpath, WDM optical networks
30	Roberto Baldoni, Jean-Michel Hélary, Michel Raynal	From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach.	DSN	2000	DBLP DOI BibTeX RDF	Arbitrary Failures, Fault Tolerance, Asynchronous Systems, Consensus Problem
30	Algirdas Avizienis	A Fault Tolerance Infrastructure for Dependable Computing with High-Performance COTS Components.	DSN	2000	DBLP DOI BibTeX RDF
30	Sejun Song, Jiandong Huang, P. Kappler, R. Freimark, J. Gustin, T. Kozlik	Fault-Tolerant Ethernet for IP-Based Process Control: A Demonstration.	DSN	2000	DBLP DOI BibTeX RDF
30	Günther Bauer 0001, Hermann Kopetz	Transparent Redundancy in the Time-Triggered Architecture.	DSN	2000	DBLP DOI BibTeX RDF	Fault-Tolerance Layer, Transparent Redundancy, TTP/C, Time-Triggered Architecture
30	Catherine Meadows 0001, William H. Sanders	Guest Editorial: Introduction to the Special Section - Dependable Computing for Critical Applications (DCCA-6).	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF
30	Kambiz Madani, Abdol-Hamid Aghvami	Investigation of handover in distributed control channel allocation (DCCA) for microcellular radio systems.	PIMRC	1994	DBLP DOI BibTeX RDF
25	Jirí Kroc	Diffusion Controlled Cellular Automaton Performing Mesh Partitioning.	ACRI	2004	DBLP DOI BibTeX RDF