2517 search results - page 327 / 504 » Specifying Weak Sets |
157
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The recent evolution of Internet, driven by the Web services technology, is extending the role of the Web from a support of information interaction to a middleware for B2B interac...
256
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Schema integration is the problem of creating a unified target schema based on a set of existing source schemas that relate to each other via specified correspondences. The unifie...
194
click to vote
APCSAC
2007
IEEE
16 years 29 days ago
2007
IEEE
In this paper, a runtime performance projection model for dynamic power management is proposed. The model is built as a first-order linear equation using a linear regression model....
199
click to vote
KBSE
2005
IEEE
16 years 5 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
173
click to vote
ASIAN
2004
Springer
16 years 6 hour ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...