Cs-Se
Visual Inference Specification Methods for Modularized Rulebases. Overview and Integration Proposal
Actor Continuation Passing: Efficient and Extensible Request Routing for Event-Driven Architectures
DNA Lossless Differential Compression Algorithm based on Similarity of Genomic Sequence Database
MELT - a Translated Domain Specific Language Embedded in the GCC Compiler
SLALOM: a Language for SLA specification and monitoring
Comprehensive measurement framework for enterprise architectures
Distributed System Contract Monitoring
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
Understanding need of "Uncertainty Analysis" in the system Design process
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
Stateful Testing: Finding More Errors in Code and Contracts
A Classification Framework for Web Browser Cross-Context Communication
A Methodology for assessing Agile Software Development Approaches
Confluent Hasse diagrams
Maximal Structuring of Acyclic Process Models
Security Model For Service-Oriented Architecture
Program slicing techniques and its applications
Patterns for Business-to-consumer E-Commerce Applications
Impact of Software Requirement Volatility Pattern on Project Dynamics: Evidences from a Case Study
Debugging of Web Applications with Web-TLR
Function Based Nonlinear Least Squares and Application to Jelinski--Moranda Software Reliability Model
On the reaction time of some synchronous systems
