Sciweavers

1352 search results - page 187 / 271
» Towards Characterizing Visualizations
Sort
View
SIGMOD
2009
ACM
158views Database» more  SIGMOD 2009»
14 years 8 months ago
Simplifying XML schema: effortless handling of nondeterministic regular expressions
Whether beloved or despised, XML Schema is momentarily the only industrially accepted schema language for XML and is unlikely to become obsolete any time soon. Nevertheless, many ...
Geert Jan Bex, Wouter Gelade, Wim Martens, Frank N...
POPL
2010
ACM
14 years 5 months ago
Threesomes, With and Without Blame
Abstract. The blame calculus of Wadler and Findler gives a high-level semantics to casts in higher-order languages. The coercion calculus of Henglein, on the other hand, provides a...
Jeremy G. Siek, Philip Wadler
ICCAD
2003
IEEE
152views Hardware» more  ICCAD 2003»
14 years 4 months ago
Dynamic Fault-Tolerance and Metrics for Battery Powered, Failure-Prone Systems
Emerging VLSI technologies and platforms are giving rise to systems with inherently high potential for runtime failure. Such failures range from intermittent electrical and mechan...
Phillip Stanley-Marbell, Diana Marculescu
GLOBECOM
2009
IEEE
14 years 2 months ago
On Spectrum Selection Games in Cognitive Radio Networks
Abstract—Cognitive Radio Networks aim at enhancing spectrum utilization by allowing cognitive devices to opportunistically access vast portions of the spectrum. To reach such amb...
Ilaria Malanchini, Matteo Cesana, Nicola Gatti
INFOCOM
2009
IEEE
14 years 2 months ago
Protecting Against Network Infections: A Game Theoretic Perspective
— Security breaches and attacks are critical problems in today’s networking. A key-point is that the security of each host depends not only on the protection strategies it choo...
Jasmina Omic, Ariel Orda, Piet Van Mieghem