6581 search results - page 907 / 1317 » Formalizing Design Patterns |
181
click to vote
ACMICEC
2006
ACM
16 years 25 days ago
2006
ACM
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...
182
Voted
JCDL
2006
ACM
16 years 25 days ago
2006
ACM
Exploring services for digital libraries (DLs) include two major paradigms, browsing and searching, as well as other services such as clustering and visualization. In this paper, ...
178
Voted
WIKIS
2006
ACM
16 years 24 days ago
2006
ACM
Similarly to the Web Wikis have advanced from initially simple ad-hoc solutions to highly popular systems of widespread use. This evolution is reflected by the impressive number ...
220
Voted
CSFW
2005
IEEE
16 years 15 days ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
183
click to vote
DEEC
2005
IEEE
16 years 14 days ago
2005
IEEE
A base of clearly defined product information is a key foundation for an e-commerce system. The manipulation and exchange of semantically enriched and precise product information ...