10038 search results - page 1567 / 2008 » Model Checking for Managers |
180
click to vote
PODS
2003
ACM
16 years 6 months ago
2003
ACM
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An und...
192
Voted
PODS
2007
ACM
16 years 6 months ago
2007
ACM
We show that relational algebra calculations for incomplete databases, probabilistic databases, bag semantics and whyprovenance are particular cases of the same general algorithms...
187
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
Pervasive computing applications must be engineered to provide unprecedented levels of flexibility in order to reconfigure and adapt in response to changes in computing resources ...
148
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
—Decoupling capacitors (decaps) are a popular means for reducing power-supply noise in integrated circuits. Since the decaps are usually inserted in the whitespace of the device ...
189
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Preference queries have received considerable attention in the recent past, due to their use in selecting the most preferred objects, especially when the selection criteria are con...