7557 search results - page 1454 / 1512 » Constraints as a design pattern |
164
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
We present enhancements for UDDI / DAML-S registries allowing cooperative discovery and selection of Web services with a focus on personalization. To find the most useful service ...
151
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
This paper describes one solution to the problem of how to select sequence, and link Web resources into a coherent, focused organization for instruction that addresses a user'...
141
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
162
click to vote
MOBISYS
2009
ACM
16 years 6 months ago
2009
ACM
In this paper, we present a reliable storage service, called SolarStore, that adaptively trades-off storage reliability versus energy consumption in solar-powered sensor networks....
176
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
Design of efficient System-on-Chips (SoCs) require thorough application analysis to identify various compute intensive parts. These compute intensive parts can be mapped to hardwa...