Sciweavers

6171 search results - page 1051 / 1235
» The FrameNet Data and Software
Sort
View
SAC
2009
ACM
15 years 11 months ago
Secure web-based retrieval of documents with usage controls
Usage controls enable the provider of some information to limit how recipients may use it. Usage controls may be desirable in enterprise environments, e.g., for regulatory complia...
Peter Djalaliev, José Carlos Brustoloni
FOSSACS
2009
Springer
15 years 11 months ago
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
Lars Birkedal, Kristian Støvring, Jacob Tha...
CLUSTER
2009
IEEE
15 years 11 months ago
Analyzing massive astrophysical datasets: Can Pig/Hadoop or a relational DBMS help?
Abstract— As the datasets used to fuel modern scientific discovery grow increasingly large, they become increasingly difficult to manage using conventional software. Parallel d...
Sarah Loebman, Dylan Nunley, YongChul Kwon, Bill H...
CSE
2009
IEEE
15 years 11 months ago
Autonomous Management and Control of Sensor Network-Based Applications
—A central challenge facing sensor network research and development is the difficulty in providing effective autonomous management capability. This is due to a large number of p...
Antonio G. Ruzzelli, Conor Muldoon, Anthony Schoof...
DATE
2009
IEEE
88views Hardware» more  DATE 2009»
15 years 11 months ago
Program phase and runtime distribution-aware online DVFS for combined Vdd/Vbb scaling
Abstract—Complex software programs are mostly characterized by phase behavior and runtime distributions. Due to the dynamism of the two characteristics, it is not efficient to m...
Jungsoo Kim, Sungjoo Yoo, Chong-Min Kyung
« Prev « First page 1051 / 1235 Last » Next »