2586 search results - page 501 / 518 » Automatic Abstraction for Congruences |
BPSC
2009
14 years 10 months ago
2009
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
156
click to vote
ICARIS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We propose a novel bio-inspired solution for biomedical article classification. Our method draws from an existing model of T-cell cross-regulation in the vertebrate immun...
ICDE
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract— Modern database management systems (DBMS) answer a multitude of complex queries on increasingly larger datasets. Given the complexities of the queries and the numerous ...
ICDE
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract— Improving data quality is a time-consuming, laborintensive and often domain specific operation. A recent principled approach for repairing dirty database is to use dat...
107
click to vote
ADHOC
2007
14 years 9 months ago
2007
Abstract. Many ad hoc routing algorithms rely on broadcast flooding for location discovery or, more generally, for secure routing applications. Flooding is a robust algorithm but ...