Improving scientific application execution on android mobile devices via code refactorings.
Optimising unicode regular expression evaluation with previews.
Modeling and verification of Web services composition based on model transformation.
Parallel computation of the reachability graph of petri net models with semantic information.
A novel model-driven approach for seamless integration.
Engineering order-preserving pattern matching with SIMD parallelism.
Frameworks compiled from declarations: a language-independent approach.