We present a new feedback control scheme for resource allocation in wireless ad hoc environment. The congestion measure on a wireless link is symbolized as a virtual price, which ...
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
The clear and meaningful visualization of relations between software entities is an invaluable tool for the comprehension, evaluation, and reengineering of the structure of existi...
We describe a schema matching algorithm EXSMAL that automates the semantic correspondence discovery between the EDI (Electronic Data Interchange) messages of various standards (ED...
Direct-manipulation editors for structured data are increasingly common. While such editors can greatly simplify the creation of structured data, there are few tools to simplify t...