811 search results - page 135 / 163 » Integrating Formal Description Techniques |
EDBT
2009
ACM
14 years 3 months ago
2009
ACM
In a variety of applications, ranging from data integration to distributed query evaluation, there is a need to obtain sets of data items from several sources (peers) and compute ...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
—We examine a widely accepted myth about passive listening in wireless networks, and give a detailed description of how to achieve real “passive listening.” Then we develop a...
ICIP
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper carves out an image compression approach that integrates our parameter-assistant inpainting (PAI) technique to exploit the visual redundancy inherent in color-gradation...
IRI
2007
IEEE
14 years 3 months ago
2007
IEEE
Crime reporting needs to be possible 24/7. Although 911 and tip-lines are the most publicized reporting mechanisms, several other options exist, ranging from inperson reporting to...
PPDP
2007
Springer
14 years 2 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...