8780 search results - page 336 / 1756 » On the Feasibility of Consistent Computations |
203
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Emerging configurable infrastructures (large-scale overlays, grids, distributed testbeds, and sensor networks among others) comprise diverse sets of computing resources and netwo...
191
click to vote
RECONFIG
2008
IEEE
16 years 1 months ago
2008
IEEE
In the context of the emergence of alternative computing resources to address the challenge of the upcoming end of Moore’s law, we consider the feasibility of gathering computat...
170
click to vote
ICDCSW
2005
IEEE
16 years 1 months ago
2005
IEEE
In a user centered design process, we investigate what context information may be used to augment digital photos with additional meta information. We describe our initial findings...
221
click to vote
BIRTHDAY
2005
Springer
16 years 1 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
199
click to vote
SPC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...