2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC)

2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC) Book

2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC) .

publication venue for

An effective content-based visual image retrieval system. 914-919. 2002
Web document classification based on fuzzy association. 487-492. 2002
Affinity-based probabilistic reasoning and document clustering on the WWW. 149-154. 2000
Case Study-Based Approach of Quantum Machine Learning in Cybersecurity: Quantum Support Vector Machine for Malware Classification and Protection 2023
DDAF: Deceptive Data Acquisition Framework against Stealthy Attacks in Cyber-Physical Systems 2021
Ensemble-based Efficient Anomaly Detection for Smart Building Control Systems 2021
Predicting Next Call Duration: A Future Direction to Promote Mental Health in the Age of Lockdown 2021
Estimating Sleep Duration from Temporal Factors, Daily Activities, and Smartphone Use 2020
Comparison of Runtime Testing Tools for Microservices 2019
Hands-on File Inclusion Vulnerablity and Proactive Control for Secure Software Development 2019
Towards Transforming User Requirements to Test Cases Using MDE and NLP 2019
Formal Modelling and Verification of Requirements of Adaptive Routing Protocol for Mobile Ad-Hoc Network 2017
Message from STPSA 2016 Workshop Organizers 2016
A DSML for Coordinating User-Centric Communication Services 2011
Towards the Operational Semantics of User-Centric Communication Models 2009
A communication virtual machine 2006
Automatic validation of Java page flows using model-based coverage criteria 2006
Novelty detection for a neural network-based online adaptive system 2005
Adaptive control software: Can we guarantee safety? 2004
A formal method for analyzing software architecture models in SAM 2002
An observational theory of integration testing for component-based software development 2001
An unsupervised segmentation framework for texture image queries 2001
Formalizing UML semantics - Panel chair's position paper 2001
Formalizing UML class diagrams - A hierarchical predicate transition net approach 2000
New approach to verify rule-based systems using Petri nets 1999
Useful approach to developing reverse engineering metrics 1999
Modular Java API for object-oriented databases 1998
Transformations on hierarchical predicate transition nets: refinements and abstractions 1998
A modular Java API for object-oriented databases 1998
Transformations on hierarchical predicate transition nets: Refinements and abstractions 1998
A semiformal correctness proof of a network broadcast algorithm 1997
Translating hierarchial predicate transition nets to CC++ program skeletons 1997
Mapping Petri nets to parallel programs in CC++ 1996
A method for analyzing properties of hierarchical predicate transition nets 1995
ON PORTING SEQUENTIAL PROGRAMS TO PARALLEL MACHINES 1994
Structured analysis using hierarchical predicate transition nets 1992

International Standard Serial Number (ISSN)

0730-3157

journal abbreviation

P INT COMP SOFTW APP

FIU Discovery

2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC) Book

Overview

publication venue for

Identifiers

International Standard Serial Number (ISSN)

Other

journal abbreviation