9209 search results - page 1370 / 1842 » Data Space Randomization |
200
click to vote
IFIP
2004
Springer
16 years 17 days ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...
187
click to vote
KES
2004
Springer
16 years 17 days ago
2004
Springer
The ability to detect the existence of nonlinear dynamics may facilitate medical diagnostics for identifying, monitoring and predicting transitions from health to sickness. Detecti...
193
click to vote
LCPC
2004
Springer
16 years 17 days ago
2004
Springer
Trimaran is an integrated compilation and performance monitoring infrastructure. The architecture space that Trimaran covers is characterized by HPL-PD, a parameterized processor a...
155
click to vote
NIME
2004
Springer
16 years 17 days ago
2004
Springer
In this report, we discuss Tree Music, an interactive computer music installation created using GAIA (Graphical Audio Interface Application), a new open-source interface for contr...
167
click to vote
PERVASIVE
2004
Springer
16 years 17 days ago
2004
Springer
Based on an extensive field study of current firefighting practices, we have developed a system called Siren to support tacit communication between firefighters with multiple level...