8132 search results - page 142 / 1627 » Dependability, Abstraction, and Programming |
107
Voted
APAL
2005
15 years 6 months ago
2005
Abstract. We construct a computable vector space with the trivial computable automorphism group, but with the dependence relations as complicated as possible, measured by their Tur...
209
click to vote
GLOBECOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--Energy-efficient link adaptation is studied for transmission on a frequency-selective parallel AWGN channel. The total power dissipation model includes a circuit power th...
141
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
WS-BPEL Processes Dieter K?nig IBM B?blingen Laboratory Sch?naicher Stra?e 220, 71032 B?blingen, Germany dieterkoenig@de.ibm.com Niels Lohmann Universit?t Rostock, Institut f?r Inf...
200
Voted
MOZ
2004
Springer
16 years 10 days ago
2004
Springer
ional Abstractions for Search Factories Guido Tack, Didier Le Botlan MOZ 2004 Presented at International Mozart/Oz Conference (MOZ 2004) Charleroi, Belgium October 2004 Published i...
160
click to vote
VSTTE
2005
Springer
16 years 13 days ago
2005
Springer
Today’s software does not come with meaningful guarantees. This position paper explores why this is the case, suggests societal and technical impediments to more dependable softw...