1396 search results - page 174 / 280 » A Tale of Two Futures |
138
click to vote
BCS
2008
15 years 5 months ago
2008
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...
152
Voted
DAIS
2010
15 years 5 months ago
2010
Context-aware applications and middleware platforms are evolving into major driving factors for pervasive systems. The ability to also make accurate assumptions about future contex...
130
Voted
CATA
2007
15 years 5 months ago
2007
A quick turnaround Sub-Orbital Student Experiment Module sounding rocket experiment has been designed and built to initiate the Old Dominion University wireless spacecraft bus pro...
125
click to vote
CIDR
2007
15 years 5 months ago
2007
Prior research shows that database system performance is dominated by off-chip data stalls, resulting in a concerted effort to bring data into on-chip caches. At the same time, hi...
106
click to vote
CATS
2008
15 years 5 months ago
2008
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing the reactive systems using process algebraic languages. In this paper, we propose...