subject area of
- A Monte Carlo Enhanced PSO Algorithm for Optimal QoM in Multi-Channel Wireless Networks Academic Article
- A Product-Focused Approach to Software Certification Academic Article
- A correctness proof for combinator reduction with cycles Academic Article
- A framed temporal logic programming language Academic Article
- A novel blind detector for additive noise steganography in JPEG decompressed images Academic Article
- A user-assisted approach to component clustering Academic Article
- ACM Transactions on Graphics Journal
- ACM Transactions on Programming Languages and Systems Journal
- ACM Transactions on Software Engineering and Methodology Journal
- Adaptive blind image watermarking using edge pixel concentration Academic Article
- An adaptive LSB matching steganography based on octonary complexity measure Academic Article
- An algebra of product families Academic Article
- An efficient high payload ±1 data embedding scheme Academic Article
- An object model for dynamic mixins Academic Article
- Bringing Manual Input Into the 20th Century: New Keyboard Concepts Academic Article
- Categorical semantics of parallel program design Conference Paper
- Comparison of manual and automated marking of student programs Academic Article
- Computer Journal
- Computer Languages, Systems and Structures Computer Languages Journal
- DYNAMIC KNOWLEDGE EXTRACTION FROM SOFTWARE SYSTEMS USING SEQUENTIAL PATTERN MINING Academic Article
- Dynamite Academic Article
- Efficient Analysis of DynAlloy Specifications Academic Article
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages Academic Article
- Formal verification of function blocks applied to IEC 61131-3 Academic Article
- Foundations of the trace assertion method of module interface specification Academic Article
- Framework for robust blind image watermarking based on classification of attacks Academic Article
- Gaussian Elimination: A case study in efficient genericity with MetaOCaml Conference Paper
- Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574 Academic Article
- Hierarchical watermarking framework based on analysis of local complexity variations Academic Article
- IDENTIFYING INHERITANCE STRUCTURE IN OBJECT-ORIENTED SYSTEMS-ANALYSIS - A PATTERN-MATCHING APPROACH Academic Article
- IEE Proceedings: Software IET Software Journal
- IEEE Software Journal
- IEEE Transactions on Software Engineering Journal
- Image retargeting using nonparametric semantic segmentation Academic Article
- Implementability of requirements in the four-variable model Academic Article
- Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods Academic Article
- Information and Software Technology Journal
- Inspection's role in software quality assurance Academic Article
- Integration of sequential scenarios Conference Paper
- International Journal of Software Engineering and Knowledge Engineering Journal
- International Journal on Software Tools for Technology Transfer Software-Concepts and Tools Journal
- JOOP - Journal of Object-Oriented Programming Journal
- Journal of Computer Science and Technology Journal
- Journal of Functional Programming Journal
- Journal of Software Maintenance and Evolution Journal of Software Maintenance Journal
- Journal of Systems and Software Journal
- Knowledge-Driven User Behavior Pattern Discovery for System Security Enhancement Academic Article
- Locally Adaptive Rank-Constrained Optimal Tone Mapping Academic Article
- Message oriented programming—A resource based methodology Academic Article
- Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code Academic Article
- Multimedia Systems Multimedia Tools and Applications Journal
- On a formal semantics of tabular expressions Academic Article
- PREDICTIVE TRACES IN HYBRID SYSTEMS Academic Article
- Partial evaluation of Maple Academic Article
- Pyramidal modeling of geometric distortions for retargeted image quality evaluation Academic Article
- Reasoning about static and dynamic properties in alloy Academic Article
- Reversible computation vs. reversibility in Petri nets Academic Article
- Robust image watermarking scheme using bit-plane of hadamard coefficients Academic Article
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages) ACM SIGPLAN Notices Journal
- Sanctions raise fairness issues Academic Article
- Science of Computer Programming Journal
- Signature required: Making Simulink data flow and interfaces explicit Academic Article
- Simple and efficient motion estimation algorithm by continuum search Academic Article
- Software and Systems Modeling Journal
- Software engineering practices and Simulink: bridging the gap Academic Article
- Software tools for safety-critical software development Academic Article
- Step coverability algorithms for communicating systems Academic Article
- Synchronizing events in replicated systems Academic Article
- TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds Academic Article
- The C programming language Academic Article
- The role of inspection in software quality assurance Academic Article
- Toward Evidence-Based Software Engineering: Lessons Learned in Healthcare Application Development Academic Article
- Understanding Integrity Level Concepts Academic Article
- Uplink Scheduling for Supporting Real Time Voice Traffic in IEEE 802.16 Backhaul Networks Academic Article
- Use of symmetry in prediction-error field for lossless compression of 3D MRI images Academic Article
- Using a Microprocessor in a Walsh-Fourier Spectral Analyzer Academic Article
- Using autonomous components to improve runtime qualities of software Academic Article