Commercial off-the-shelf (COTS) software products are increasingly used as software components in large-scale systems. We had proposed an approach for distributed COTS software integration by using the concepts of mul...
详细信息
Commercial off-the-shelf (COTS) software products are increasingly used as software components in large-scale systems. We had proposed an approach for distributed COTS software integration by using the concepts of multi-agent system and distributed scripting mechanism [J.M. Lin et al., (2002)]. To describe the experience in the COTS software integration and facilitate the reuse of the software integration procedure, this paper presents a multi-agent architecture for the COTS software integration systems. This architecture is of a three-layered structure and is described with the agent UML (AUML). Since the interaction and internal processing of agents is clearly described in the proposed architecture, programmers may have a guide to build a software system and implement the protocols and behaviors of agents according to layered description.
The fringe-imaging Fabry-Perot (FIFP) interferometer and fringe-imaging Mach-Zehnder (FIMZ) interferometer as frequency discriminator for incoherent molecular Doppler wind lidar are proposed, analyzed and compared the...
详细信息
The proceedings contain 28 papers. The special focus in this conference is on Theoretical Aspects of softwareengineering. The topics include: Slicing Assisted Program Verification: An Empirical Study;an Approach to&#...
ISBN:
(纸本)9783031646256
The proceedings contain 28 papers. The special focus in this conference is on Theoretical Aspects of softwareengineering. The topics include: Slicing Assisted Program Verification: An Empirical Study;an Approach to Improving Reliability of parallel Graph Computation;safe and Infinite Resource Scheduling Using Energy Timed Automata;intrathread Method Orders Based Adaptive Testing of Concurrent Objects;an Abstract Interpretation-Based Data Leakage Static Analysis;on the Decidability of Disassembling Binaries;finding Deep-Hidden Bugs in Android Apps via Functional Semantics Guided Exploration;detecting Vulnerabilities via Explicitly Leveraging Vulnerability Features on Program Slices;fuzzing for Stateful Protocol Implementations: Are We There Yet?;ctxFuzz: Discovering Heap-Based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing;an Adaptive Real-Time Garbage Collection Method Based on File Write Prediction;tree-Based Synthesis of Web Test Sequences from Manual Actions;gradual Typing Performance, Micro Configurations and Macro Perspectives;ISS-Scenario: Scenario-Based Testing in CARLA;verified Validation for Affine Scheduling in Polyhedral Compilation;a Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space;empirically Scalable Invariant Generation Leveraging Divide-and-Conquer with Pruning;DeepCDCL: A CDCL-based Neural Network Verification Framework;energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego;CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features;improved Incremental Verification for Neural Networks;Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving systems;managing Traceability for software Life Cycle Processes;a Natural Formalized Proof Language;strong Forgetting in Hennessy-Milner Logic;Correction to: ISS-Scenario: Scenario-Based Testing in CARLA (Theoretical Aspectsof software
This paper introduces a method of formalizing syntax and semantics of UML statecharts with Z. According to this precise semantics, UML statecharts are transformed into FREE (flattened regular expression) state models....
详细信息
This paper introduces a method of formalizing syntax and semantics of UML statecharts with Z. According to this precise semantics, UML statecharts are transformed into FREE (flattened regular expression) state models. Proper testing pre-orders and equivalences are introduced which allow to equate/distinguish systems on the basis of their interaction with the surrounding environment, abstracting from their internal structure. The formal testing framework for UML statecharts is express with Z.
Now we have a number of database technologies called usually NoSQL, like key-value, column-oriented, and document stores as well as search engines and graph databases. Whereas SQL software vendors offer advanced produ...
详细信息
One of the basic services in grids is the transfer of data between remote machines. Files may be transferred at the explicit request of the user or as part of delegated resource management services, such as data repli...
详细信息
ISBN:
(纸本)9781605581545
One of the basic services in grids is the transfer of data between remote machines. Files may be transferred at the explicit request of the user or as part of delegated resource management services, such as data replication or job scheduling. GridFTP is an important tool for such data transfers since it builds on the common FTP protocol, has a large user base with multiple implementations, and it uses the GSI security model that allows delegated operations. This paper presents a workload analysis of the implementation of the GridFTP protocol provided by the Globus Toolkit. We studied more than 1.5 years of traces reported from all over the world by Globus GridFTP installed components. Our study focuses on three dimensions: first, it quantifies the volume of data transferred and characterizes user behavior. Second, it attempts to show how tuning capabilities are used in practice. Finally, it quantifies the user base as recorded in the database and highlights the usage trends of this software component. Copyright 2008 ACM.
作者：
L.R. WelchCenter for Intelligent
Distributed and Dependable Systems School of Electrical Engineering and Computer Science Ohio University Athens OH USA
Adaptive resource management middleware enables a pool of computing and network resources to be allocated at run-time. This allows systems to adapt to processing demands that depend on dynamic environments, and allows...
详细信息
Adaptive resource management middleware enables a pool of computing and network resources to be allocated at run-time. This allows systems to adapt to processing demands that depend on dynamic environments, and allows systems to reconfigure so that critical functions continue to be provided when some hardware components have failed. This paper presents a process that can be used on-line to find allocations that are feasible/schedulable (i.e., allocations that allow all realtime constraints to be met).
As the cost of photovoltaic (PV) systems has sharply fallen over the recent years, they have been enormously installed, whether in open racks, rooftop or even floating on water. Today, the integration of PV systems in...
详细信息
暂无评论