1077 search results - page 87 / 216 » Management of Evolving Specifications using Category Theory |
ACMICEC
2007
ACM
14 years 1 months ago
2007
ACM
E-commerce is presently operating under its expected capacity, mainly because traders find it very difficult to trust one another online for trading decisions. It is therefore ver...
CIKM
2006
Springer
14 years 26 days ago
2006
Springer
The ability to retrieve molecules based on structural similarity has use in many applications, from disease diagnosis and treatment to drug discovery and design. In this paper, we...
EMSOFT
2010
Springer
13 years 7 months ago
2010
Springer
A crucial objective in battery operated embedded systems is to work under the minimal power consumption that provides a desired level of performance. Dynamic Voltage Scaling (DVS)...
SIGMOD
2011
ACM
12 years 12 months ago
2011
ACM
In this paper we consider the problem of answering queries using views, which is important for data integration, query optimization, and data warehouses. We consider its simplest ...
KDD
2008
ACM
14 years 9 months ago
2008
ACM
The relationship between constraint-based mining and constraint programming is explored by showing how the typical constraints used in pattern mining can be formulated for use in ...