Sökning: "Sten Andler"
Visar resultat 1 - 5 av 8 avhandlingar innehållade orden Sten Andler.
1. Enabling Tool Support for Formal Analysis of ECA Rules
Sammanfattning : Rule-based systems implemented as event-condition-action (ECA) rules utilize a powerful and flexible paradigm when it comes to specifying systems that need to react to complex situation in their environment. Rules can be specified to react to combinations of events occurring at any time in any order. LÄS MER
2. Handling Combinatorial Explosion in Software Testing
Sammanfattning : In this thesis, the overall conclusion is that combination strategies, (i.e., test case selection methods that manage the combinatorial explosion of possible things to test), can improve the software testing in most organizations. The research underlying this thesis emphasizes relevance by working in close relationship with industry. LÄS MER
3. Evaluating credal set theory as a belief framework in high-level information fusion for automated decision-making
Sammanfattning : High-level information fusion is a research field in which methods for achieving an overall understanding of the current situation in an environment of interest are studied. The ultimate goal of these methods is to provide effective decision-support for human or automated decision-making. LÄS MER
4. Testability of Dynamic Real-Time Systems
Sammanfattning : This dissertation concerns testability of event-triggered real-time systems. Real-time systems are known to be hard to test because they are required to function correct both with respect to what the system does and when it does it. LÄS MER
5. Virtual Full Replication for Scalable Distributed Real-Time Databases
Sammanfattning : A fully replicated distributed real-time database provides high availability and predictable access times, independent of user location, since all the data is available at each node. However, full replication requires that all updates are replicated to every node, resulting in exponential growth of bandwidth and processing demands with the number of nodes and objects added. LÄS MER