Issue Information
No abstract is available for this article.
Parallel computation of the reachability graph of petri net models with semantic information
Formal verification plays a crucial role when dealing with correctness of systems. In a previous work, the authors proposed a class of models, the Unary Resource Description Framework Petri Nets U-RDF-PN, which integrated Petri nets and RDF-based ...
Optimising unicode regular expression evaluation with previews
The jsre regular expression library was designed to provide fast matching of complex expressions over large input streams using user-selectable character encodings. An established design approach was used: a simulated non-deterministic automaton NFA ...
A novel model-driven approach for seamless integration
This research mentions integration problems and describes a novel model-driven approach that intend to reach a higher degree of interoperability among different software development tools coming from different technological spaces TSs by representing ...
Modeling and verification of Web services composition based on model transformation
With the rapid development of Cloud computing, social computing, and Web of Things, an increasing number of requirements of complexity and reliability for modeling Web services composition have emerged too. As more reliable methods are needed to model ...
Engineering order-preserving pattern matching with SIMD parallelism
The order-preserving pattern matching problem has gained attention in recent years. It consists in finding all substrings in the text, which have the same length and relative order as the input pattern. Typically, the text and the pattern consist of ...
Frameworks compiled from declarations: a language-independent approach
Programming frameworks are an accepted fixture in the object-oriented world, motivated by the need for code reuse, developer guidance and restriction. A new trend is emerging where frameworks require domain experts to provide declarations using a domain-...
Improving scientific application execution on android mobile devices via code refactorings
The increasing number of mobile devices with ever-growing capabilities makes them useful for running scientific applications. However, these applications have high computational demands, whereas mobile devices have limited capabilities when compared ...