8067 search results - page 1425 / 1614 » A Model Proposal of the Interoperability Problem |
144
Voted
FMCAD
2009
Springer
16 years 21 days ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
169
click to vote
FSKD
2009
Springer
16 years 21 days ago
2009
Springer
Usually a meaningful web topic has tens of thousands of comments, especially the hot topics. It is valuable if we congregate the comments into clusters and find out the mainstrea...
165
click to vote
ICISS
2009
Springer
16 years 21 days ago
2009
Springer
Many peer-assisted content-distribution systems reward a peer based on the amount of data that this peer serves to others. However, validating that a peer did so is, to our knowled...
167
click to vote
LPNMR
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
179
click to vote
NETCOOP
2009
Springer
16 years 21 days ago
2009
Springer
We study the impact of user association policies on flow-level performance in interference limited wireless networks. Most research in this area has used static interference model...