6608 search results - page 1102 / 1322 » On the Completeness of Model Checking |
172
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already...
153
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
In this paper, we present the concept of a diversified SCM (supply chain management) standard and distributed hub architecture which were used in B2B experiments for the Japanese ...
169
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
Motivated by the problem of customer wallet estimation, we propose a new setting for multi-view regression, where we learn a completely unobserved target (in our case, customer wa...
172
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
A large number of user requests execute (often concurrently) within a server system. A single request may exhibit fluctuating hardware characteristics (such as instruction comple...
183
click to vote
MEMBRANE
2009
Springer
16 years 1 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...