3229 search results - page 638 / 646 » The Theory of Timed Automata |
ISF
2010
13 years 6 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 6 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...
JZUSC
2010
13 years 6 months ago
2010
: A DP curve is a new kind of parametric curve defined by Delgado and Peña (2003); it has very good properties when used in both geometry and algebra, i.e., it is shape preserving...
RTAS
2010
IEEE
13 years 6 months ago
2010
IEEE
—Thermal control is crucial to real-time systems as excessive processor temperature can cause system failure or unacceptable performance degradation due to hardware throttling. R...
SYNTHESE
2010
13 years 5 months ago
2010
We argue that current discussions of criteria for actual causation are ill-posed in several respects. (1) The methodology of current discussions is by induction from intuitions ab...