29172 search results - page 5688 / 5835 » Modeling Systems in CLP |
175
click to vote
MOBICOM
2004
ACM
15 years 10 months ago
2004
ACM
Significant progress has been made towards making ad hoc networks secure and DoS resilient. However, little attention has been focused on quantifying DoS resilience: Do ad hoc ne...
271
click to vote
VCIP
2000
15 years 6 months ago
2000
Subjective assessment methods have been used reliably for many years to evaluate video quality. They continue to provide the most reliable assessments compared to objective method...
179
click to vote
ECOOP
2010
Springer
15 years 10 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
163
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Natural antisense transcripts (NATs) are endogenous RNA molecules that exhibit partial or complete complementarity to other RNAs, and that may contribute to the regula...
147
click to vote
CLUSTER
2009
IEEE
16 years 1 days ago
2009
IEEE
—Parallel netCDF (PnetCDF) is a popular library used in many scientific applications to store scientific datasets. It provides high-performance parallel I/O while maintaining ...