2354 search results - page 464 / 471 » A Common-Sense Theory of Time |
ECCC
2010
13 years 5 months ago
2010
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
IEEECIT
2010
IEEE
13 years 5 months ago
2010
IEEE
With the increasing popularity of COTS (commercial off the shelf) components and multi-core processor in space and aviation applications, software fault tolerance becomes attracti...
INFORMS
2010
13 years 5 months ago
2010
The concept of dominance among nodes of a branch-decision tree, although known since a long time, is not exploited by general-purpose Mixed-Integer Linear Programming (MILP) enume...
ISF
2010
13 years 5 months ago
2010
Disaster management information systems for international humanitarian relief are developed in contexts involving local, national and inter-governmental organizations together with...
JSC
2010
13 years 5 months ago
2010
We consider the problem of solving a linear system Ax = b over a cyclotomic field. What makes cyclotomic fields of special interest is that we can easily find a prime p that sp...