6047 search results - page 1108 / 1210 » Modeling with Extend |
153
click to vote
HASKELL
2009
ACM
15 years 8 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
140
click to vote
MOBIQUITOUS
2008
IEEE
15 years 8 months ago
2008
IEEE
Mobile ad hoc networks can be leveraged to provide ubiquitous services capable of acquiring, processing, and sharing real-time information from the physical world. Unlike Internet...
102
click to vote
SP
2008
IEEE
15 years 8 months ago
2008
IEEE
The efficacy of Anomaly Detection (AD) sensors depends heavily on the quality of the data used to train them. Artificial or contrived training data may not provide a realistic v...
107
click to vote
AINA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Transporting video over wireless networks has twofold constraints. Not only should it satisfy delay requirements but power minimization and QoS issues should be handled...
109
click to vote
FOCS
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixedparameter tractable. We consider proofs that witness that a given prop...