3831 search results - page 550 / 767 » Dynamic Context Logic |
121
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper extends pre-existing digital divide conceptualizations to further investigate the important issue of mismatches between the ontologies of state-created information syst...
143
Voted
PERCOM
2009
ACM
15 years 11 months ago
2009
ACM
—Ensuring spontaneous ad hoc interoperation in decentralized ubiquitous computing environments is challenging, because of heterogeneous resources and divergent policies. Centrali...
131
click to vote
ASPLOS
2009
ACM
15 years 11 months ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...
120
click to vote
GLVLSI
2009
IEEE
15 years 11 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
144
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Nowadays, programmers spend much of their workday dealing with code libraries and frameworks that are bloated with APIs. One common way of interacting with APIs is through Code Co...