4211 search results - page 777 / 843 » A formal approach to MASQ |
159
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
Similarity search has been widely used in many applications such as information retrieval, image data analysis, and time-series matching. Specifically, a similarity query retrieves...
DAC
2005
ACM
15 years 11 months ago
2005
ACM
As Si CMOS devices are scaled down into the nanoscale regime, current computer architecture approaches are reaching their practical limits. Future nano-architectures will confront...
179
click to vote
ICDT
2009
ACM
15 years 10 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
For extracting the characteristics a specific geographic entity, and notably a place, we propose to use dynamic Extreme Tagging Systems in combination with the classic approach of...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...