We add a simple policy-based control component to mobile hosts that enables them to control the continuous reception of live multimedia content (e.g. a TV broadcast) while they sw...
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...
Wireless devices are widely used to get some information from the Internet. However, limited bandwidth, frequent disconnections and different communication protocols are most comm...
We document our initial e orts to instantiate visuallyguided cooperative behaviors between robotic agents in the minifactory environment. Minifactory incorporates high-precision 2...
Michael L. Chen, Shinji Kume, Alfred A. Rizzi, Ral...
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...