Cs-Se
On the reaction time of some synchronous systems
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions
Specification and Verification of Context-dependent Services
Lost in translation: data integration tools meet the Semantic Web (experiences from the Ondex project)
Detect Related Bugs from Source Code Using Bug Information
Real Differences between OT and CRDT under a General Transformation Framework for Consistency Maintenance in Co-Editors
Building Executable Secure Design Models for Smart Contracts with Formal Methods
UPCASE - A Method for Self-Assessing the Capability of the Usability Process in Small Organizations
Internet of Things: Current Challenges in the Quality Assurance and Testing Methods
Applications of Multi-view Learning Approaches for Software Comprehension
A Real-Time Model-Based Reinforcement Learning Architecture for Robot Control
Leveraging the Mob Mentality: An Experience Report on Mob Programming
Software Architecture for Fiji National University Campus Information Systems
Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study
Requirements Engineering Challenges in Building AI-Based Complex Systems
A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts
SaaS CloudQual: A Quality Model for Evaluating Software as a Service on the Cloud Computing Environment
The Development of Electronic Payment System for Universities in Indonesia: On Resolving Key Success Factors
Expectations and Reality: Why an enterprise software system didnt work as planned
PyFml - a Textual Language For Feature Modeling
A Novel Approach in Calculating Stakeholder priority in Requirements Elicitation
Evaluation of Static Analysis Tools for Finding Vulnerabilities in Java and C/C++ Source Code
