Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Proceedings - International Computer Software and Applications Conference
Journal
Overview
Identifiers
View All
Overview
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
G-IDS: Generative Adversarial Networks Assisted Intrusion Detection System
2020
A Game-Theoretic Analysis of Pricing Competition between Aggregators in V2G Systems
2019
Comparison of Runtime Testing Tools for Microservices
2019
Hands-on File Inclusion Vulnerablity and Proactive Control for Secure Software Development
2019
LIPs: A Protocol for Leadership Incentives for Heterogeneous and Dynamic Platoons
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 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 hierarchical predicate transition nets to CC++ program skeletons
1997
ON PORTING SEQUENTIAL PROGRAMS TO PARALLEL MACHINES
1994
Structured analysis using hierarchical predicate transition nets
1992
Identifiers
International Standard Serial Number (ISSN)
0730-3157
International Standard Book Number (ISBN) 10
0-7695-1372-7
0-7695-2655-1
0-8186-6705-2
0-8186-8106-3
0-8186-8585-9
International Standard Book Number (ISBN) 13
978-1-4244-4525-7