10700 search results - page 1740 / 2140 » Generative Design Patterns |
164
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Service matchmaking and composition has recently drawn increasing attention in the research community. Most existing algorithms construct chains of services based on exact matches...
189
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
To keep an overview of a complex corporate web sites, it is crucial to understand the relationship of contents, structure and the user's behavior. In this paper, we describe ...
190
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
We propose a new way of browsing contextualized-news articles. Our prototype browser system is called a Time-based ContextualizedNews Browser (T-CNB). The T-CNB concurrently and a...
184
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
We generate hypermedia presentations from annotated media repositories using simple document structure as an intermediate phase. This poster applies Web style technologies to this...
312
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...