17 citations · 45 across the 18 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.SE2014
Offline Trace Checking of Quantitative Properties of Service-Based Applications
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic +1
Service-based applications are often developed as compositions of partner services. A service integrator needs precise methods to specify the quality attributes expected by each pa…
cs.FL2014★ 5 cited
Commutative Languages and their Composition by Consensual Methods
Stefano Crespi Reghizzi, Pierluigi San Pietro
Commutative languages with the semilinear property (SLIP) can be naturally recognized by real-time NLOG-SPACE multi-counter machines. We show that unions and concatenations of such…