Learn More
This paper considers generic recursion schemes for programs which recurse over multiple inductive structures simultaneously , such as equality, zip and the nth element of a list function. Such schemes have been notably absent from previous work. This paper deenes a uniform mechanism for deening such programs and shows that these programs satisfy generic(More)
The Pacific Software Research Center is developing a new method to support reuse and introduce reliability into software. The method is based on design capture in domain specific design languages and automatic program generation using a reusable suite of program transformation tools. The transformation tools, and a domain specific component generator(More)
Vehicular ad hoc networks (VANETs) are being advocated for traffic control, accident avoidance, and a variety of other applications. Security is an important concern in VANETs because a malicious user may deliberately mislead other vehicles and vehicular agencies. One type of malicious behavior is called a Sybil attack, wherein a malicious vehicle pretends(More)
The CQ project at OGI, funded by DARPA, aims at developing a scalable toolkit and techniques for update monitoring and event-driven information delivery on the net. The main feature of the CQ project is a &#8220;personalized update monitoring&#8221; toolkit based on <italic>continual queries</italic> [3]. Comparing with the pure pull (such as DBMSs, various(More)
We describe a practical method to implement t h e dynamic restructuring of distributed transactional activities with several main advantages. First, it guarantees the correctness of dynamic restructuring operations as well as that of ongoing transac-tional activities. Second, it is general enough to accommodate a wide range of workkow activities' dynamic(More)
MOTIVATION Cellular networks usually consist of numerous chemical species, such as DNA, RNA, proteins and small molecules, etc. Different biological tasks are generally performed by complex interactions of these species. As these interactions can rarely be directly measured, it is widely recognized that causal relationship identification is essential in(More)
We describe a method for building a variety of coordination protocols as well as distributed extended transaction primitives. The method is called Open Coordination Protocol (OCP), and we apply OCP to construct many variants of Commit_Transaction [15, 13, 22, 12], as well as distributed Split_Transaction [18] and distributed Join_Group [14, 20]. OCP adopts(More)