In this paper, we describe the design and development of a simulation-agent interface for real-time distributed control system benchmarking. this work is motivated by the need to test the feasibility of extending agen...
详细信息
In this paper, we describe the design and development of a simulation-agent interface for real-time distributed control system benchmarking. this work is motivated by the need to test the feasibility of extending agent-based systems to the physical device level in manufacturing and other industrial automation systems. Our work focuses on the development of hybrid physical/simulation environment that can be used to perform tests at boththe physical device level, as well as the planning and scheduling level of control. As part of this work, we have extended the proxy design pattern for this application. this paper focuses on the resulting software design pattern for distributed control system benchmarking and provides examples of its use in our hybrid physical/simulation environment. (c) 2007 Elsevier Ltd. All rights reserved.
It applies a rule engine design scheme with dynamic programming algorithm and optimal policy in financial management system. the scheme adopts backward reasoning method, when the facts and rules change in a small way,...
详细信息
ISBN:
(纸本)9781424420957
It applies a rule engine design scheme with dynamic programming algorithm and optimal policy in financial management system. the scheme adopts backward reasoning method, when the facts and rules change in a small way, the results of constant parts are kept by the algorithm, and it just needs to calculate the changing parts. thus, the massive repeated calculating workload can be reduced, which enhances system performance greatly. When the facts and rules have big changing, the algorithm still retains a high efficiency. the testing result shows that the average response time to system is far lower than both of forward reasoning and ordinary backward reasoning method in same circumstances.
the goal of the SPLAT workshop is to investigate insofar the software engineering '-ilities' are being addressed by aspectoriented programming. this paper looks closer at one of these properties (composability...
详细信息
the proceedings contain 17 papers. the topics discussed include: aspect oriented test case instantiation;program, program, enhance thyself! - demand-driven pattern-oriented program enhancement;modularity first: a case...
ISBN:
(纸本)9781605580449
the proceedings contain 17 papers. the topics discussed include: aspect oriented test case instantiation;program, program, enhance thyself! - demand-driven pattern-oriented program enhancement;modularity first: a case for mixing AOP and attribute grammars;AJANA: a general framework for source-code-level interprocedural dataflow-analysis of AspectJ Software;reasoning about aspects with common sense;StrongAspectJ: flexible and safe pointcut/advice bindings;EJFlow: taming exceptional control flows in aspect-oriented programming;relational aspects as tracematches;test-based pointcuts for robust and fine-grained join point specification;Edicts: implementing features with flexible binding times;support for distributed adaptations in aspect-oriented middleware;tool-supported refactoring of aspect-oriented programs;and tool support for understanding and diagnosing pointcut expressions.
In this paper we describe our experiences applying formal software verification in a real-world distributed Video-on-Demand server. As the application of formal methods to large systems is extremely difficult, relevan...
详细信息
ISBN:
(纸本)9783540851097
In this paper we describe our experiences applying formal software verification in a real-world distributed Video-on-Demand server. As the application of formal methods to large systems is extremely difficult, relevant properties of a particular subsystem have been identified and then verified separately. Conclusions on the whole system can be drawn later. the development consists of two parts: first, the definition of the algorithm in the CoQ proof assistant;second, codification of the theorems withthe help of some new tactics derived from the abstraction of verification patterns common to different proofs.
this paper proposes a new interworking scheme for Mobile IP and the Session Initiation Protocol being the most popular solutions for mobility management at the network and application layers respectively. the goal is ...
详细信息
ISBN:
(纸本)9781605581927
this paper proposes a new interworking scheme for Mobile IP and the Session Initiation Protocol being the most popular solutions for mobility management at the network and application layers respectively. the goal is to deliver seamless mobility for both TCP-based and UDP-based applications taking the best features from each mobility management scheme. In short, this paper proposes that TCP connections are handled through Mobile IP while UDP-based connection-less applications may use the Session Initiation Protocol for handling mobility. the two mobility management solutions are integrated into one common solution. Copyright 2008 ACM.
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanced program representations, like abstr...
详细信息
there has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants, in order to capture important invariants of the program in the types. this...
详细信息
there has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants, in order to capture important invariants of the program in the types. this allows type-based program verification and is a promising compromise between plain old types and full blown Hoare logic proofs. the introduction of GADTs in GHC (and more recently type families) made such dependent typing available in an industry-quality implementation, making it possible to consider its use in large scale programs. We have undertaken the construction of a complete compiler for System F, whose main property is that the GHC type checker verifies mechanically that each phase of the compiler properly preserves types. Our particular focus is on "types rather than proofs": reasonably few annotations that do not overwhelm the actual code. We believe it should be possible to write such a type-preserving compiler with an amount of extra code comparable to what is necessary for typical typed intermediate languages, but withthe advantage of static checking. We will show in this paper the remaining hurdles to reach this goal.
We present an integer programming approach to the university course timetabling problem, in which weekly lectures have to be scheduled and assigned to rooms. Students’ curricula impose restrictions as to which course...
详细信息
Dynamic software evolution represents a viable technique to update software systems at run-time. On-the-fly updating is particularly helpful for systems that must be continuously available and up-to-date. Updates cons...
详细信息
暂无评论