6474 search results - page 1229 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
278
Voted
POPL
2009
ACM
16 years 6 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
295
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
143
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
The advent of nanometer feature sizes in silicon fabrication has triggered a number of new design challenges for computer designers. These challenges include design complexity and...
161
click to vote
CHI
2010
ACM
16 years 28 days ago
2010
ACM
More and more web users keep up with newest information through information streams such as the popular microblogging website Twitter. In this paper we studied content recommendat...
146
Voted
ICDE
2009
IEEE
16 years 27 days ago
2009
IEEE
—Developing powerful paradigms for programming sensor networks is critical to realize the full potential of sensor networks as collaborative data processing engines. In this arti...