7049 search results - page 1028 / 1410 » Data Abstraction for CSP-OZ |
177
click to vote
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
One of the challenges for software architects is ensuring that an implemented system faithfully represents its architecture. We describe and demonstrate a tool, called DiscoTect, ...
193
click to vote
SIGSOFT
2004
ACM
16 years 8 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
198
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
As the largest online marketplace, eBay strives to promote its inventory throughout the Web via different types of online advertisement. Contextually relevant links to eBay assets...
183
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Mashup applications mix and merge content (data and code) from multiple content providers in a user's browser, to provide high-value web applications that can rival the user ...
195
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
In peer-to-peer networks, finding the appropriate answer for an information request, such as the answer to a query for RDF(S) data, depends on selecting the right peer in the netw...