We show that all minimal a-b separators (vertex sets) dis- connecting a pair of given non-adjacent vertices a and b in an undirected and connected graph with n vertices can be computed in O(n2Rab) time, where Rab is t...
详细信息
We present a framework for formal reasoning about the behaviour of distributed programs implementing open distributed systems (ODSs). the framework is based on the following key ingredients: A specification language b...
详细信息
In this paper, a new framework for rapid system design and implementation for fuzzy systems is proposed. the given system specification is separated into two components: A conceptual specification and a parameter spec...
详细信息
A temporal logic of causality (TLC) was introduced by Alur, Penczek and Peled in [1]. It is basically a linear time temporal logic interpreted over Mazurkiewicz traces which allows quantification over causal chains. T...
详细信息
the Coq and ProPre systems show the automated termination of a recursive function by first constructing a tree associated withthe specification of the function which satisfies a notion of terminal property and then v...
详细信息
computing devices are clearly proliferating in a variety of domains ranging from controlling household appliances, to the cockpits of aircraft. thus, there is an ever increasing demand for cheap and compact computers ...
ISBN:
(纸本)354066856X
computing devices are clearly proliferating in a variety of domains ranging from controlling household appliances, to the cockpits of aircraft. thus, there is an ever increasing demand for cheap and compact computers intended to perform a few functions, extremely well. Historically, customization has been the answer to this need. However, customization unfortunately implies very high costs—the exacerbated costs limit the scope of proliferation of course. To redress this and thus enable the extraordinary growth-potential of these emerging domains— loosely referred to as embedded systems here—current research in computing is revisiting established and stable technologies ranging from (high-level) programming languages at the software end of the spectrum, to gate-level design and synthesis at the hardware end. A theme that seems to be emerging, is to provide the future application developer withthe advantages of customization, at costs approaching currently mass-produced commercial-off-the-shelf (COTS) software and hardware. thus, hardware is increasingly being viewed as a flexible fabric, amenable to low-cost customization based on the application developer’s needs and preferences. A goal of this talk is to outline the “point-technologies” that are being innovated to help realize this vision.
In mobile client-server database systems, caching of frequently accessed data is an important technique that will reduce the contention on the narrow bandwidth wireless channel. As the server in mobile environments ma...
详细信息
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation sys- tems for normal logic programs allow only Tamaki-Sato style folding us- ing clauses fr...
详细信息
We investigate Orex, a temporal logic for specifying open systems. Path properties in Orex are expressed using ω-regular expressions, while similar logics for open systems, such as ATL* of Alur et al., use LTL for th...
详细信息
Verification of formal specifications for multimedia systems, with time taken into consideration, is still a subject of much research. Estelle, an internationally standardised Formal Description Technique (FDT) based ...
详细信息
暂无评论