|
Design and implementation of XML_based Linux file system runner
|
Hybrid programming in high performance scientific computing
|
| |
|
Using the singular value decomposition for image steganography
|
Algorithms for minimum bipartite fill-in and the gene-duplication problem
|
| |
|
A model for storage and query of cascading beliefs in multilevel security database
|
Supporting visual access to a distributed organizational memory warehouse in the web environment
|
| |
|
A service-oriented privacy model for smart home environments
|
The Intrusion Collector and Emulator
|
| |
|
DeepFreeze: A management interface for ISEAGE
|
A pragmatic method for integrated modeling of security attacks and countermeasures
|
| |
|
Internet data extraction based on automatic regular expression inference
|
Strict self-assembly of discrete Sierpinski triangles
|
| |
|
A novel approach to finding frequency patterns in noisy network traffic
|
Surface patch reconstruction by touching
|
| |
|
DECADA: Tool for discrete-event control and diagnosis analyzer
|
Restricting wireless network access within the classroom
|
| |
|
Designing an interactive visualization for intrusion detection systems with video game theory and technology
|
Security Integrated Messaging: A protocol for secure electronic mail
|
| |
|
Dynamic inference-based learning of Markov network structure
|
Retina Workbench: A flexible database system for manipulating and mining expression data and genetic regulatory networks
|
| |
|
The paleontological stratigraphic interval construction and analysis tool
|
Detection of encrypted streams for egress monitoring
|
| |
|
Maestro: A remote execution tool for visualization clusters
|
Implementation of a XQuery engine for large documents in CanStoreX
|
| |
|
AI Loom: A generic development framework for multi-agent systems ideally suited for virtual worlds
|
A false injection-resilient scheme to monitor time-variant phenomenon in wireless sensor networks
|
| |
|
A distributed system for integrating and sharing biology data and tools
|
The component-based application for GAMESS
|
| |
|
D-RDF: Dynamic Resource Description Framework
|
Real-time water simulation and rendering using features of the latest OpenGL-capable graphics hardware
|
| |
|
Forensic Log Investigator (FLI)---A log analysis and visualization tool
|
Exploring historical location data for anonymity preservation in location-based services
|
| |
|
Bootstrapping trust in service oriented architecture
|
Channel adaptive real-time medium access control protocols for industrial wireless networks
|
| |
|
Data delivery in fragmented wireless sensor networks using mobile agents
|
Design and evaluation of a perceptually adaptive rendering system for immersive virtual reality environments
|
| |
|
An online system for bioterrorism surveillance
|
A comparative study of Roth-Erev and modified Roth-Erev reinforcement learning algorithms for uniform-price double auctions
|
| |
|
Uncovering the structure of hypergraphs through tensor decomposition: An application to folksonomy analysis.
|
A specification language design for the Java Modeling Language (JML) using Java 5 annotations
|
| |
|
Architectural support for secure and survivable embedded software
|
IseHarvest: TCP packet data re-assembler framework for network traffic content
|
| |
|
Cryptic backup: A framework for automated compression, encryption, and backup of data
|
CONDENSER: A custom tool for capturing and summarizing network traffic for AVALANCHE and ISEAGE
|
| |
|
Visualization for network forensic analyses: Extending the Forensic Log Investigator (FLI)
|
Reference models for network trace anonymization
|
| |
|
A formal approach toward authenticated authorization without identification
|
Managing continuous k-nearest neighbor queries in mobile peer-to-peer networks
|
| |
|
Load estimation in IEEE 802.11 wireless networks
|
Spatial ability cognitive model with ACT-R 6.0
|
| |
|
Encrypted mal-ware detection
|
A software system for causal reasoning in causal Bayesian networks
|
| |
|
Implementation of the NC-94 hybrid storage prototype on a binary version of CanStoreX
|
Intercept system to edit, control, and analyze packets (ISECAP)
|
| |
|
Protocol design, implementation and integration for the protection of sensor data confidentiality and integrity
|
A concept virtual harp with physical string vibrations using augmented reality for therapy
|
| |
|
Design and evaluation of auditory spatial cues for decision making within a game environment for persons with visual impairments
|
Socialest: An application of mapping in creation of a design solution for user driven websites
|
| |
|
Implementing several attacks on plain ElGamal encryption
|
Supporting dynamic aspect-oriented features
|
| |
|
High performance password cracking by implementing rainbow tables on nVidia graphics cards (IseCrack)
|
Development of high performance scientific components for interoperability of computing packages
|
| |
|
Verifying sensor network security protocol implementations
|
Crawler 2.0: A search tool to assist law enforcement with investigations
|
| |
|
Auto Red Team: A network attack automation framework based on decision tree
|
SnoScan: An iterative functionality service scanner for large scale networks
|
| |
|
An iterative approach towards Web service composition using feedback from analysis of composition failures
|
Modular verification of higher-order methods with mandatory calls specified by model programs
|
| |
|
Integration of ab-initio nuclear calculation with derivative free optimization technique
|
Attacks and countermeasures on routing protocols in wireless networks
|
| |
|
On the test-driven development of emerging modularization mechanisms
|
Measurement of PVFS2 performance on InfiniBand
|
| |
|
Detection of intrusions at layer one: A preliminary performance analysis of the IEEE 802.3 normal link pulse as a means of host-to-network authentication and a survey of environmental effects
|
Expressive cutting, deforming, and painting of three-dimensional digital shapes through asymmetric bimanual haptic manipulation
|
| |
|
Enhancing a behavioral interface specification language with temporal logic features
|
Anonymity-preserving location data publishing
|
| |
|
Development and evaluation of Formula Editor (a tool-based approach to enhance reusability in software product line model checking) on SAFER case study
|
Virtualized network framework solution to collecting private research data NEMESIS: Network experimentation and monitoring in environments safely in-situ
|
| |
|
Deficiencies in regulations for anti-money laundering in a cyberlaundering age including COMET: Central Online AML Merchant Enforcement Tool
|
Implementation and experimental study of rate adaptation algorithms in IEEE 802.11 wireless networks
|
| |
|
A workbench for advanced database implementation and benchmarking
|
Intrusion detection and response for system and network attacks
|
| |
|
Techniques for detecting zero day phishing websites
|
Preventing integrated circuit piracy using reconfigurable logic barriers
|
| |
|
Minimum interference channel assignment for multicast in multi-channel multi-radio wireless mesh networks
|
The influence of design factors on trust in a bank's website
|
| |
|
Unsupervised segmentation of audio speech using the Voting Experts algorithm
|
Real-time scenegraph creation and manipulation in an immersive environment using an iPhone
|
| |
|
Geometric process planning in rough machining
|
Information management system using 2D barcodes and cell phone technology
|
| |
|
3D hand gesture recognition using a ZCam and an SVM-SMO classifier
|
A framework for cost-sensitive automated selection of intrusion response
|
| |
|
Massive model visualization: An investigation into spatial hierarchies
|
A soft real-time system for automatic capture of colonoscopy video
|
| |
|
Complexity cores in average-case complexity theory
|
Asynchronous stigmergic sorting of binary matrix patterns: Applications of classical distributed computing ideas
|
| |
|
Extending substitutability in composite services by allowing asynchronous communication
|
A virtual reality interface for the design of compliant mechanisms
|
| |
|
Minimum cost content distribution using network coding: Replication vs. coding at the source nodes
|
Enabling Knowledge Management of Organizational Memory for groups through shared topic Maps
|
| |
|
Xen Worlds: Creating a virtual laboratory environment for use in education
|
Detection of recurring software vulnerabilities
|
| |
|
An XML based scalable implementation of Temporal Databases using Parametric Model
|
Identifying and eliminating inconsistencies in mappings across hierarchical ontologies
|
| |
|
Ontology-guided extraction of structured information from unstructured text: Identifying and capturing complex relationships
|
The AugmenTable: Markerless hand manipulation of virtual objects in a tabletop augmented reality environment
|
| |
|
Comparison of encoding schemes for symbolic model checking of bounded petri nets
|
AQUA-G: A universal gesture recognition framework
|
| |
|
A novel thread scheduler design for polymorphic embedded systems
|
Input/output of ab-initio nuclear structure calculations for improved performance and portability
|
| |
|
From semantic security to chosen ciphertext security
|
Extensible Problem Specific Tutor (xPST): Easy authoring of intelligent tutoring systems
|
| |
|
A framework for multimedia playback and analysis of MPEG-2 videos with FFmpeg
|
Implicit invocation meets safe, implicit concurrency
|
| |
|
Automated measurement of quality of mucosa inspection for colonoscopy
|
Unbounded-2-bounded: A two-phase approximation for model checking unbounded until properties of probabilistic system
|
| |
|
Virtualized guest live migration profiling and detection
|
An online algorithm for matching noisy space curves with statistical error analysis
|
| |
|
Translucid contracts: Expressive specification and modular verification of aspect oriented interfaces
|
Intelligent tutoring system authoring tools for non-programmers
|
| |
|
Study on vehicular network application and simulation
|
Adaptations in Electronic Structure Calculations in Heterogeneous Environments
|
| |
|
Mobile personal health care system for patients with diabetes
|
A model checking approach for analyzing and identifying intervention policies to counter infection propagation over networks
|
| |
|
Feature selection, statistical modeling and its applications to universal JPEG steganalyzer
|
MetViz: an online visualization tool for regulons, genes and gene ontology
|
| |
|
ZigBee-assisted ad-hoc networking of multi-interface mobile devices
|
A two-stage strategy for solving the connection subgraph problem
|
| |
|
Enabling Open Source Intelligence (OSINT) in private social networks
|
Creating a flexible LVC architecture for mixed reality training of the dismounted warfighter
|
| |
|
Displacement-based two-finger grasping of deformable planar objects
|
Black-box test case generation from TFM module interface specifications and usage statistics
|
| |
|
Adaptive interfaces for application defragmentation in diverse operating contexts
|
Academic game development: practices and design strategies for creating STEM games
|
| |
|
Mining maximal cliques from large graphs using MapReduce
|
Online tutor for research writing
|
| |
|
Data driven prognosis: a multi-scale and multi-physics approach
|
Impact tactor design and research for creating consequence in virtual military training
|
| |
|
Synesthetic music experience communicator
|
Quality of service (QoS) support for multimedia applications in large-scale networks
|
| |
|
Modular subclass verification: Safely creating correct subclasses without superclass code
|
Abstraction, aggregation and recursion for generating accurate and simple classifiers
|
| |
|
Supervisory control of discrete event systems for bisimulation or simulation equivalence
|
Techniques for building a scalable and reliable distributed content-based publish/subscribe system
|
| |
|
Fiber optic networks: Fairness, access controls and prototyping
|
Survivability issues in WDM optical networks
|
| |
|
Service-oriented design in aspect-oriented and Petri net-based approach
|
Performance and security measure of clustering protocols for sensor networks
|
| |
|
Suffix trees and suffix arrays in primary and secondary storage
|
Incorporating product-line engineering techniques into agent-oriented software engineering for efficiently building safety-critical, multi-agent systems
|
| |
|
Parallel methods for large-scale applications in computational electromagnetics and materials science
|
Techniques in placing network monitors
|
| |
|
Markov network structure discovery using independence tests
|
Interactive and verifiable Web services composition, specification reformulation and substitution
|
| |
|
Continuum: An architecture for user evolvable collaborative virtual environments
|
A framework for adaptive, cost-sensitive intrusion detection and response system
|
| |
|
Boundary element method in anisotropic media with grain sliding and dislocation dynamics
|
Integrate qualitative biological knowledge for gene regulatory network reconstruction with dynamic Bayesian networks
|
| |
|
Representing and reasoning with modular ontologies
|
Methods for augmented reality e-commerce
|
| |
|
Structural induction: Towards automatic ontology elicitation
|
Interactive graphics, graphical user interfaces and software interfaces for the analysis of biological experimental data and networks
|
| |
|
Model-based recognition of curves and surfaces using tactile data
|
Situating digital tools through ubiquitous virtuality: Confluences of art, architecture, and activity in HCI
|
| |
|
Ethnic-identity intensity as a moderator of the technology acceptance model and its antecedents
|
Performance analysis and optimization of the Java memory system
|
| |
|
Color vision screening using eye movements
|
AVIDENSE: Advanced video analysis system for colonoscopy semantics
|
| |
|
Algorithms in supertree inference and phylogenetic data mining
|
Beyond the arithmetic constraint: Depth-optimal mapping of logic chains in reconfigurable fabrics
|
| |
|
Machine learning approaches for epitope prediction
|
Overlay networks monitoring
|
| |
|
All optical multicasting in wavelength routing mesh networks with power considerations: Design and operation
|
Model testing for causal models
|
| |
|
Data integration for biological network databases: MetNetDB labeled graph model and graph matching algorithm
|
Thermal modeling and management of DRAM memory systems
|
| |
|
Safety analysis of software product lines using state-based modeling and compositional model checking
|
An integrated software environment for protein structure refinement
|
| |
|
Design and analysis of anonymous communications for emerging applications
|
Relationships between user performance and spatial ability in using map-based software on pen-based devices
|
| |
|
Effective techniques for detecting and attributing cyber criminals
|
I/O-automata based formal approach to Web services choreography
|
| |
|
Computation of evolutionary change
|
Exploring utilization of visualization for computer and network security
|
| |
|
Practical security scheme design for resource-constrained wireless networks
|
Conceptualizing design affordances from a cognitive perspective
|
| |
|
WS-Pro: A Petri net based performance-driven service composition framework
|
Sequence-specific sequence comparison using pairwise statistical significance
|
| |
|
Algorithms for efficient phylogenetic tree construction
|
Parallel methods for short read assembly
|
| |
|
Information technology social engineering: An academic definition and study of social engineering - analyzing the human firewall
|
System level energy management in networked real-time embedded systems
|
| |
|
A systematic security approach in wireless mesh networks
|
Applications of the theory of computation to nanoscale self-assembly
|
| |
|
Fractals in complexity and geometry
|
Dynamics, measure and dimension in the theory of computing
|
| |
|
Learning from text and images: Generative and discriminative models for partially labeled data
|
Toward a molecular programming language for algorithmic self-assembly
|
| |
|
Universality in algorithmic self-assembly
|
Energy-efficient coverage with wireless sensors
|
| |
|
Federated description logics for the semantic web
|
High performance computing techniques for attacking reduced version of AES using XL and XSL methods
|
| |
|
A framework for safe composition of heterogeneous SOA services in a pervasive computing environment with resource constraints
|
Applications on emerging paradigms in parallel computing
|
| |
|
Capture-based automated test input generation
|
Quantifiable non-functional requirements modeling and static verification for web service compositions
|
| |
|
Methods for integrated biochemical pathway analysis
|
Representing and reasoning with qualitative preferences for compositional systems
|
| |
|
Learning predictive models from massive, semantically disparate data
|
Fast learning optimized prediction methodology for protein secondary structure prediction, relative solvent accessibility prediction and phosphorylation prediction
|
| |
|
Modular algorithms for biomolecular network alignment
|
Physical layer identification: Methodology, security, and origin of variation
|
| |
|
Algebraic approaches to distributed compression and network error correction
|
A computational study of protein dynamics, structure ensembles, and functional mechanisms
|
| |
|
Human-computer interaction and sociological insight: A theoretical examination and experiment in building affinity in small groups
|
Three topics in the theory of computing: Multi-resolution cellular automata, the Kolmogorov complexity characterization of regular languages, and hidden variables in Bayesian networks
|
| |
|
Multi-objective optimization based engineering decision tool
|
Floorplan-guided placement for large-scale mixed-size designs
|
| |
|
Developing virtual reality applications: The design and evaluation of virtual reality development tools for novice users
|
Visualizing biological data in Google Earth
|
| |
|
Phase-based tuning: Better utilized performance asymmetric multicores
|
On normal networks
|
| |
|
Constructing liberal and conservative supertrees and exact solutions for reduced consensus problems
|
Structure-based prediction of protein-protein interaction sites
|
| |
|
Detecting exploit patterns from network packet streams
|
Topics in knowledge bases: Epistemic ontologies and secrecy-preserving reasoning
|
| |
|
Large-scale tree parsimony
|
Proving safety properties of software
|
| |
|
Edge cross-section profile for colonoscopic object detection
|
Modernizing the core quantum chemistry algorithms
|
| |
|
Improving web accessibility for older adults based on error detection strategies
|
