Ying Jiang

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2026
Dual-regularized mixed spatial attention network for breast MRI classification: dataset and methodology.
Pattern Recognit., 2026

2025
Dress-1-to-3: Single Image to Simulation-Ready 3D Outfit with Diffusion Prior and Differentiable Physics.
ACM Trans. Graph., August, 2025

DD-DeepONet: Domain decomposition and DeepONet for solving partial differential equations in three application scenarios.
CoRR, August, 2025

SCR-DETR: a real-time lightweight DETR model for weed detection.
J. Real Time Image Process., June, 2025

Predicting chronic obstructive pulmonary disease (COPD) with optimized machine learning via leveraging comparative analysis of XGBoost and catboost.
J. Ambient Intell. Humaniz. Comput., May, 2025

Region-Aware Color Smudging.
IEEE Trans. Vis. Comput. Graph., April, 2025

Contextual feature fusion and refinement network for camouflaged object detection.
Int. J. Mach. Learn. Cybern., March, 2025

GRIP: A General Robotic Incremental Potential Contact Simulation Dataset for Unified Deformable-Rigid Coupled Grasping.
CoRR, March, 2025

Mixed contrastive transfer learning for few-shot workload prediction in the cloud.
Computing, January, 2025

TimesLap: Mutability workload sequence prediction based on Laplacian Kernel in the cloud.
Computing, January, 2025

Robot Penetration and the Executive-Employee Pay Gap: Unveiling a U-Shaped Relationship in Chinese A-Share Listed Companies.
IEEE Trans. Engineering Management, 2025

The Impact of Digital Transformation on Employee Protection.
IEEE Trans. Engineering Management, 2025

MSGEGA: Multiscale Gaussian Enhancement and Global-Aware Network for Infrared Small Target Detection.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2025

Development and validation of a machine learning-based clinical prediction model for monitoring liver injury in patients with pan-cancer receiving immunotherapy.
Int. J. Medical Informatics, 2025

Quantifying Administrative and Functional Border Effects on Commuting and Non-Commuting Flows: A Case Study of the Shanghai-Suzhou-Jiaxing Area.
ISPRS Int. J. Geo Inf., 2025

Integration management of vessel transportation in complex waterway network of port clusters: A column generation-based solution approach.
Expert Syst. Appl., 2025

An integrated model for coordinating adaptive platoons and parking decision-making based on deep reinforcement learning.
Comput. Ind. Eng., 2025

Online calibration of LiDAR-camera extrinsic parameters of tunnel mapping system with depth-constrained vibration compensation.
Int. J. Appl. Earth Obs. Geoinformation, 2025

Technological Influence on Digital Banking Adoption: A Framework and Empirical Study of the Influence of Social Robots and IVAs in a Small Island Context.
Proceedings of the HCI in Business, Government and Organizations, 2025

PhysAnimator: Physics-Guided Generative Cartoon Animation.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

Gaussian Splashing: Unified Particles for Versatile Motion Synthesis and Rendering.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

GarmentDreamer: 3DGS Guided Garment Synthesis with Diverse Geometry and Texture Details.
Proceedings of the International Conference on 3D Vision, 2025

2024
Predicting the locations of missing persons in China by using NGO data and deep learning techniques.
Int. J. Digit. Earth, December, 2024

Ghost Reservoir: A Memory-Efficient Low-Power and Real-Time Neuromorphic Processor of Liquid State Machine With On-Chip Learning.
IEEE Trans. Circuits Syst. II Express Briefs, October, 2024

A Single Data Extraction Algorithm for Oblique Photographic Data Based on the U-Net.
Remote. Sens., March, 2024

Applicability and sensitivity analysis of vector cellular automata model for land cover change.
Comput. Environ. Urban Syst., 2024

A Flexible Detachable Capacitive Sensor Based on Nonparallel Electrodes for Joints Angle Measurement.
IEEE Trans. Instrum. Meas., 2024

Exploring ncRNA-Drug Sensitivity Associations via Graph Contrastive Learning.
IEEE ACM Trans. Comput. Biol. Bioinform., 2024

Infrared Small Target Detection Based on Local Contrast Measure With a Flexible Window.
IEEE Geosci. Remote. Sens. Lett., 2024

ncRNA Coding Potential Prediction Using BiLSTM and Transformer Encoder-Based Model.
J. Chem. Inf. Model., 2024

Noisy feature decomposition-based multi-label learning with missing labels.
Inf. Sci., 2024

PhysMotion: Physics-Grounded Dynamics From a Single Image.
CoRR, 2024

Embedded IPC: Fast and Intersection-free Simulation in Reduced Subspace for Robot Manipulation.
CoRR, 2024

A Fast Fourier-Galerkin Method for Solving Boundary Integral Equations on Torus-Shaped Surfaces.
CoRR, 2024

Comprehensive Survey of Model Compression and Speed up for Vision Transformers.
CoRR, 2024

Gaussian Splashing: Dynamic Fluid Synthesis with Gaussian Splatting.
CoRR, 2024

A visual cortex-inspired edge neuromorphic hardware architecture with on-chip multi-layer STDP learning.
Comput. Electr. Eng., 2024

Sign Language Recognition Based on CNN-BiLSTM Using RF Signals.
IEEE Access, 2024

VR-GS: A Physical Dynamics-Aware Interactive Gaussian Splatting System in Virtual Reality.
Proceedings of the ACM SIGGRAPH 2024 Conference Papers, 2024

BertTab: Table Learning with Feature Descriptions and Context.
Proceedings of the Pattern Recognition and Computer Vision - 7th Chinese Conference, 2024

A Method for Constructing a Knowledge Graph of Electric Power Digital Marketing Based on Artificial Intelligence Deep Learning.
Proceedings of the 2024 International Conference on Power Electronics and Artificial Intelligence, 2024

An enhanced time series anomaly detection model based on frequency domain analysis.
Proceedings of the 5th International Conference on Big Data & Artificial Intelligence & Software Engineering, 2024

Research on the Application of Intelligent Tutoring System in Personalized English Teaching in Colleges.
Proceedings of the 2024 3rd International Conference on Artificial Intelligence and Education, 2024

Application of Data Mining Technology in the Teaching Quality Monitoring of Ideological and Political Courses in Colleges.
Proceedings of the 2024 3rd International Conference on Artificial Intelligence and Education, 2024

Design and Responsible Research Innovation in the University-Industry Collaboration: An Ethnographic Study of Nice2035 Project-Based Community.
Proceedings of the HCI International 2024 - Late Breaking Papers, 2024

MFF-LncLoc: Subcellular Localization Prediction of lncRNAs Based on Multi-Feature Fusion Using Transformers.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2024

iEDA: An Open-source infrastructure of EDA.
Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

2023
Fine-grained regional economic forecasting for a megacity using vector-based cellular automata.
Int. J. Appl. Earth Obs. Geoinformation, December, 2023

ABLNCPP: Attention Mechanism-Based Bidirectional Long Short-Term Memory for Noncoding RNA Coding Potential Prediction.
J. Chem. Inf. Model., June, 2023

Research on safety and efficiency warranted vessel scheduling in unidirectional multi-junction waterways of port waters.
Comput. Ind. Eng., June, 2023

A flexible calibration method with multi-stage optimization for the axial error of mobile mapping systems.
Int. J. Appl. Earth Obs. Geoinformation, April, 2023

Multiscale Feature Fusion for the Multistage Denoising of Airborne Single Photon LiDAR.
Remote. Sens., January, 2023

An experimental design for facial and color emotion expression of a social robot.
J. Supercomput., 2023

Passivity-Based Control Method for Three-Level Photovoltaic Inverter to Mitigate Common-Mode Resonant Current.
IEEE Trans. Ind. Informatics, 2023

Trace Alignment Preprocessing in Side-Channel Analysis Using the Adaptive Filter.
IEEE Trans. Inf. Forensics Secur., 2023

Topology and Space Vector Modulation Method for the Reduced Switch Count Quasi-Z-Source Three-Level Inverter.
IEEE Trans. Ind. Electron., 2023

Unified Extended-Frequency Model of Buck Converters Under Different Carriers.
IEEE Trans. Ind. Electron., 2023

Prediction of circRNA-MiRNA Association Using Singular Value Decomposition and Graph Neural Networks.
IEEE ACM Trans. Comput. Biol. Bioinform., 2023

Completion of Parallel app Software User Operation Sequences Based on Temporal Context.
J. Database Manag., 2023

Analysis Method of App Software User Experience Based on Multisource Information Fusion.
Int. J. Semantic Web Inf. Syst., 2023

The Metric for Automatic Code Generation Based on Dynamic Abstract Syntax Tree.
Int. J. Digit. Crime Forensics, 2023

iEDA: An Open-Source Intelligent Physical Implementation Toolkit and Library.
CoRR, 2023

Diversity Multi-View Clustering With Subspace and NMF-Based Manifold Learning.
IEEE Access, 2023

A VR Enabled Visualization System for Race Suit Design.
Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2023

Does Repetition Affect Acceptance? A Social Robot Adoption Model for Technologically-Savvy Users in the Caribbean.
Proceedings of the 56th Hawaii International Conference on System Sciences, 2023

Microservice Indicator Prediction Method Based on STE and CNN-BiLSTM.
Proceedings of the 9th IEEE International Conference on Cloud Computing and Intelligent Systems, 2023

Real-time Road Condition Analysis Algorithm in Highly Available Map Services Integrating Multisource Data Fusion.
Proceedings of the International Conference on Big Data Mining and Information Processing, 2023

2022
Improved Particle Swarm Optimization Based Selective Harmonic Elimination and Neutral Point Balance Control for Three-Level Inverter in Low-Voltage Ride-Through Operation.
IEEE Trans. Ind. Informatics, 2022

Dynamic Bayesian network for predicting physiological changes, organ dysfunctions and mortality risk in critical trauma patients.
BMC Medical Informatics Decis. Mak., 2022

A novel framework of knowledge transfer system for construction projects based on knowledge graph and transfer learning.
Expert Syst. Appl., 2022

Anomaly detection by using a combination of generative adversarial networks and convolutional autoencoders.
EURASIP J. Adv. Signal Process., 2022

A novel pathway mutation perturbation score predicts the clinical outcomes of immunotherapy.
Briefings Bioinform., 2022

Positive Facial and Verbal Sentiments of a Social Robot Mitigates Negative User Perceptions in Attitudinally Dissimilar Interactions.
Proceedings of the 31st IEEE International Conference on Robot and Human Interactive Communication, 2022

2021
Visualization Analysis of Knowledge Network Research Based on Mapping Knowledge.
J. Signal Process. Syst., 2021

Full Bayesian Before-After Analysis of Safety Effects of Variable Speed Limit System.
IEEE Trans. Intell. Transp. Syst., 2021

β-Delayed γ Emissions of 26P and Its Mirror Asymmetry.
Symmetry, 2021

Equilibrium analysis of marketing strategies in supply chain with marketing efforts induced demand considering free riding.
Soft Comput., 2021

Anomaly Detection for Nodes Under the Cloud Computing Environment.
Int. J. Distributed Syst. Technol., 2021

Rogue breathers and rogue lumps on a background of dark line solitons for the Maccari system.
Commun. Nonlinear Sci. Numer. Simul., 2021

CNA2Subpathway: identification of dysregulated subpathway driven by copy number alterations in cancer.
Briefings Bioinform., 2021

Artificial Visual Electronics for Closed-Loop Sensation/Action Systems.
Adv. Intell. Syst., 2021

Measuring accessibility of urban scales: A trip-based interaction potential model.
Adv. Eng. Informatics, 2021

A software defect detection algorithm based on asymmetric classification evaluation.
Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021

Optimization of key and value storage in vector map rendering.
Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021

A Heterogeneous Spiking Neural Network for Computationally Efficient Face Recognition.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

"The Canton Canon" Digital Library Based on Knowledge Graph - Taking the Revolutionary Archives of Canton in the Republic of China as an Example.
Proceedings of the 10th International Conference on Educational and Information Technology, 2021

Underdetermined 2D DOA Estimation Based on Bi-directional Parallel Sparse Linear Array with Reduced Mutual Coupling.
Proceedings of the ICDSP 2021: 5th International Conference on Digital Signal Processing, 2021

Corpus Annotation System Based on HanLP Chinese Word Segmentation.
Proceedings of the CONF-CDS 2021: The 2nd International Conference on Computing and Data Science, 2021

HandPainter - 3D Sketching in VR with Hand-based Physical Proxy.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

CMIVGSD: circRNA-miRNA Interaction Prediction Based on Variational Graph Auto-Encoder and Singular Value Decomposition.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2021

An Automatic 3D Scene Generation Pipeline Based on a Single 2D Image.
Proceedings of the Augmented Reality, Virtual Reality, and Computer Graphics, 2021

Towards Sustainability: From the "Partial Care" to the "Complete Care".
Proceedings of the Advances in Human Factors and Ergonomics in Healthcare and Medical Devices, 2021

Improving Design of Intelligent Clinic Product Service System: A Case Study.
Proceedings of the Advances in Human Factors and Ergonomics in Healthcare and Medical Devices, 2021

2020
A calculus of branching processes.
Theor. Comput. Sci., 2020

Maintenance Personnel Detection and Analysis Using Mask-RCNN Optimization on Power Grid Monitoring Video.
Neural Process. Lett., 2020

基于用户评论的代码质量识别与分析 (Code Quality Recognition and Analysis Based on User's Comments).
计算机科学, 2020

Consistent KdV expansion method and its applications to the KP equation.
J. Comput. Appl. Math., 2020

PPPs Policy Entity Network Change and Policy Learning in Mainland China.
Complex., 2020

Homoclinic breather and rogue wave solutions to Maccari equation.
Comput. Math. Appl., 2020

PUB-SalNet: A Pre-Trained Unsupervised Self-Aware Backpropagation Network for Biomedical Salient Segmentation.
Algorithms, 2020

A Generalized Modulation Method for Common-Mode Voltage Reduction of Dual-Input Three-Level Inverter.
IEEE Access, 2020

Overview of Applications of the Sensor Technologies for Construction Machinery.
IEEE Access, 2020

Miniaturized Millimeter-Wave On-Chip Resonator Design in Silicon Technology.
Proceedings of the 2020 IEEE International Conference on Integrated Circuits, 2020

A High-speed Low-cost CNN Inference Accelerator for Depthwise Separable Convolution.
Proceedings of the 2020 IEEE International Conference on Integrated Circuits, 2020

Home as Experience: The Challenge and Opportunity of Care Home Design.
Proceedings of the Human Aspects of IT for the Aged Population. Healthy and Active Aging, 2020

2019
A fully abstract semantics for value-passing CCS for trees.
Frontiers Comput. Sci., 2019

Underdetermined Wideband DOA Estimation Based on Proximity Searching DCS-SOMP.
Proceedings of the 6th International Conference on Systems and Informatics, 2019

Users' Comment Mining for App Software's Quality-in-Use.
Proceedings of the Computer Supported Cooperative Work and Social Computing, 2019

2018
Secondary segmentation extracted algorithm based on image enhancement for intelligent identification systems.
Int. J. Distributed Sens. Networks, 2018

LanguageTool proofreading rules evolution and update.
Proceedings of 2018 International Conference on Big Data Technologies, 2018

Perceived Innovativeness and Privacy Risk of Smart Toys in Brazil and Argentina.
Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

Gamification Design Framework for Mobile Health: Designing a Home-Based Self-management Programme for Patients with Chronic Heart Failure.
Proceedings of the Social Computing and Social Media. Technologies and Analytics, 2018

The Image Preprocessing and Check of Amount for VAT Invoices.
Proceedings of the Communications, Signal Processing, and Systems, 2018

Research on Polarization Modulated QKD Through Overhead Transmission Lines.
Proceedings of the Communications, Signal Processing, and Systems, 2018

Quadratic Segmentation Algorithm Based on Image Enhancement.
Proceedings of the Communications, Signal Processing, and Systems, 2018

An Intelligent Water Regimen Monitoring System.
Proceedings of the Communications, Signal Processing, and Systems, 2018

2017
APP软件的用户评论模式分析方法 (Analytical Method for APP Software's User Comment Patterns).
计算机科学, 2017

Psychologically inspired visual information storage and retrieval modeling for multiclass image classification.
Neurocomputing, 2017

VMDV: A 3D Visualization Tool for Modeling, Demonstration, and Verification.
CoRR, 2017

VMDV: A 3D visualization tool for modeling, demonstration, and verification.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Modeling and reasoning about wireless networks: A graph-based calculus approach.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Research of Dengue Fever Prediction in San Juan, Puerto Rico Based on a KNN Regression Model.
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2017 - 18th International Conference, Guilin, China, October 30, 2017

Method of Relevance Judgment for App Software's User Reviews.
Proceedings of the Data Science, 2017

LanguageTool based University rumor detection on Sina Weibo.
Proceedings of the 2017 IEEE International Conference on Big Data and Smart Computing, 2017

An Exploration of Designer-to-User Relationship from a Care-Orientated Perspective.
Proceedings of the Advances in Design for Inclusion, 2017

2016
基于曲波变换和余弦测度的人脸识别方法 (Face Recognition Method Based on Curvelet Transform and Cosine Rules).
计算机科学, 2016

Analysis of a repairable k-out-of-n: G system with repairman's multiple delayed vacations.
Int. J. Comput. Math., 2016

Model Checking : A Co-algebraic Approach.
CoRR, 2016

Modelling and Analysis of Network Security - An Algebraic Approach.
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

Value-Passing CCS for Trees: A Theory for Concurrent Systems.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Improved Prediction of Dengue Outbreak Using the Delay Permutation Entropy.
Proceedings of the 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2016

Method of Consistency Judgment for App Software's User Comments.
Proceedings of the Social Computing, 2016

Understanding the Critical Needs of Older People: An Aging Perspective.
Proceedings of the Human Aspects of IT for the Aged Population. Design for Aging, 2016

2015
Computation and profit analysis of a.
RAIRO Oper. Res., 2015

Computation and transient analysis of a k-out-of-n: G repairable system with general repair times.
Oper. Res., 2015

多用户视频流分布式最小失真调度算法 (Multi-user Video Stream Distributed Scheme with Minimal Distortion Scheduling).
计算机科学, 2015

一种基于源代码分析的程序变化影响路径集的生成方法 (Generation Method of Path Set Affected by Program Change Based on Source Code Analysis).
计算机科学, 2015

Modelling and Analysis Network Security - a PVCCS approach.
CoRR, 2015

Modelling and Analysis of Network Security - a Probabilistic Value-passing CCS Approach.
Proceedings of the Information and Communications Security - 17th International Conference, 2015

Developing a Framework for Effective Communication with Older People.
Proceedings of the Human Aspects of IT for the Aged Population. Design for Aging, 2015

2014
Approximate entropy: a new evaluation approach of mental workload under multitask conditions.
Proceedings of the Sixth International Conference on Digital Image Processing, 2014

2013
A Fuzzy Comprehensive Assessment System of Dam Failure Risk Based on Cloud Model.
J. Comput., 2013

CCS for Trees.
CoRR, 2013

A low-hardware consumption FPGA based configurable LDPC decoder.
Proceedings of the International Symposium on Intelligent Signal Processing and Communication Systems, 2013

2012
Research on the Grey Assessment System.
J. Comput., 2012

ESPRIT with Multiple-Angle Subarray Beamforming.
EURASIP J. Adv. Signal Process., 2012

2011
Computational Identification of Discriminating Features of Pathogenic and Symbiotic Type III Secreted Effector Proteins.
Inf. Media Technol., 2011

Model Checking: A Coalgebraic Approach.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Selective-Request Round-Robin Scheduling for VOQ Packet Switch Architecture.
Proceedings of IEEE International Conference on Communications, 2011

2010
The Support of Interface Specifications in Black-box Components Testing.
Proceedings of the Fifth International Conference on Frontier of Computer Science and Technology, 2010

The Testing Method for Interface Customized Component.
Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010

A Control-Flow Complexity Measure of Web Service Composition Process.
Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference, 2010

2009
Performance Bound Approximation for Bearing Estimation with Bias Correction.
IEEE Signal Process. Lett., 2009

Test-Data Generation for Web Services Based on Contract Mutation.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Knowware: The Third Star after Hardware and Software.
Proceedings of the Knowledge Science, 2009

A Protege Plug-In for Modeling Dimensional Ontology.
Proceedings of the 9th International Conference on Hybrid Intelligent Systems (HIS 2009), 2009

Knowledge Representation of Chinese Genealogical Record of VIPs in KMT and CPC.
Proceedings of the 9th International Conference on Hybrid Intelligent Systems (HIS 2009), 2009

2008
An Approach to Testing Black-Box Components Using Contract-Based Mutation.
Int. J. Softw. Eng. Knowl. Eng., 2008

Tree Process Calculus.
Proceedings of the First International Conference on Foundations of Informatics, 2008

Making sense of group interaction in an ambient intelligent environment for physical play.
Proceedings of the 2nd International Conference on Tangible and Embedded Interaction 2008, 2008

DOWL: A Domain-Independent Semantic Web Application Platform.
Proceedings of the 2008 International Conference on Semantic Web & Web Services, 2008

Uncertain Context Modeling of Dimensional Ontology Using Fuzzy Subset Theory.
Proceedings of the Scalable Uncertainty Management, Second International Conference, 2008

Towards Ontology-Based Chinese E-Government Digital Archives Knowledge Management.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2008

OntoLTCn: A Chinese Text Oriented Semi-auto Ontology Knowledge Discovery Tool.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
Weakly distributive domains (II).
Frontiers Comput. Sci. China, 2007

Weakly Distributive Domains.
Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

Efficient Topological Reconstruction for Medical Model Based on Mesh Simplification.
Proceedings of the Life System Modeling and Simulation, International Conference, 2007

2006
An Integrated Adaptive Management System for Cluster-based Web Services.
Proceedings of the 2006 IEEE International Conference on Cluster Computing, 2006

Application Layer Definition and Analyses of Controller Area Network Bus for Wire Harness Assembly Machine.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

2005
SPD - a web-based secreted protein database.
Nucleic Acids Res., 2005

On an open problem of Amadio and Curien: The finite antichain condition.
Inf. Comput., 2005

A Formal Method for Modeling and Managing Large-Scale Distributed Applications.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005

Contract-Based Mutation for Testing Components.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Adaptive Management of a Utility Computing.
Proceedings of the 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26, 2005

Spare Instance: an Adaptive Mechanism for Managing Cluster Applications.
Proceedings of the 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26, 2005

2004
Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition.
Proceedings of the Theoretical Aspects of Computing, 2004

2003
Self Adjustable CHOKe: An Active Queue Management Algorithm For Congestion Control and Fair Bandwidth Allocation.
Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

2002
AppManager: A Powerful Service-Based Application Management System for Clusters.
Proceedings of the 31st International Conference on Parallel Processing Workshops (ICPP 2002 Workshops), 2002

A 2-stage matching scheduler for a VOQ packet switch architecture.
Proceedings of the IEEE International Conference on Communications, 2002

1995
Universal Retractions on DI-Domains
Inf. Comput., June, 1995

Consistency of a λ-theory with<i>n</i>-tuples and easy term.
Arch. Math. Log., 1995


  Loading...