5377 search results - page 392 / 1076 » Programming Languages For Interactive Computing |
190
click to vote
TR
2008
15 years 7 months ago
2008
We consider the problem of maximizing the reliability of a series-parallel system given cost and weight constraints on the system. The number of components in each subsystem and th...
173
click to vote
IFIP
2004
Springer
16 years 25 days ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
164
Voted
CANDC
1999
ACM
15 years 11 months ago
1999
ACM
Traditionally, the notion of home crafting connotes the use of "low-tech" materials and techniques; but increasingly, the once-distinct worlds of crafting and computatio...
175
click to vote
ICALP
2004
Springer
16 years 25 days ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
178
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
RSD (Resource and Service Description) is a software architecture for specifying, registering and accessing resources and services in complex heterogeneous computing environments....