Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 9 of 9 for “"Non-functional Properties"”.
-
NON-FUNCTIONAL CERTIFICATION OF MODERN DISTRIBUTED SYSTEMS
… systems, where each layer transparently provides functionalities to the upper layers. Each system is in turn a composition of multiple systems operated by different parties and implemented as miniaturized micro- and nano-services, where horizontal aspects are delegated to orchestration and …
-
QoS Contract Negotiation in Distributed Component-Based Software
… largely for applications with business-oriented non-functional requirements such as data persistence, confidentiality, and transactional support. They provide only limited support for the development of components and applications with non-functional properties (NFPs) like QoS (e.g. throughput, …
-
Investigations into the model driven design of distribution patterns for web service compositions
… systems is often constrained by a number of non-functional properties of the system such as availability, scalability and performance There are a number of drstribution patterns that each exhibit different non-functional charactmstics These patterns are re-occuring distribution schemes that …
-
Efficient Symbolic Execution of Concurrent Software
… tasks. This matter is not only because of the non-deterministic thread interferences which are hard to reason about but also because of the large state space due to the simultaneous path and interleaving explosions. That is, the number of program paths in each thread may be exponential in the …
-
Genetic Programming for Low-Resource Systems
… Genetic Programming as a tool in controlling the non-functional properties of software, as a new method of designing code for low-resource systems. I demonstrate the feasibility of this approach, and investigate some of the ways Genetic Programming could be utilised by a practitioner. In doing so, …
-
APECS: A Polychrony based End-to-End Embedded System Design and Code Synthesis
… and platform components, the real-time behavior, non-functional properties, as well as the application software modeling. Our main contribution is to integrate a polychronous application software modeling language, and synthesis algorithms in order for synthesis of the embedded software running on …
-
I-AdMiN: a framework for deriving adaptive service configuration in wireless smart sensor networks
… their inputs and outputs as well as their non-functional properties. We illustrate the need for service sharing and dynamic service composition and their challenges through examples of real-world applications, namely structural health monitoring (SHM) and environmental and agricultural …
-
Enhancing Software Security through Code Diversification Verification, Control-flow Restriction, and Automatic Compartmentalization
… introduces a methodology for verifying the functional equivalence between an original binary and its diversified version. The Verification of Diversified Binary (VDB) algorithm is employed to determine whether the two binaries—the original and the diversified—maintain functional equivalence. …
-
Integrating Extra-Functional Properties in Model-Driven Web Service Development
… the separation of a system’s business logic, its functionality and the platforms and technologies supporting it. In addition, current software systems also have to deal with other concerns beside platform-specific concerns such as those related to extra-functional properties. These concerns tend …