1350 search results - page 118 / 270 » Reasoning about Staged Computation |
144
click to vote
CCE
2007
15 years 5 months ago
2007
This work describes a stochastic approach for the optimal placement of sensors in municipal water networks to detect maliciously injected contaminants. The model minimizes the exp...
166
click to vote
ENTCS
2007
15 years 5 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
146
click to vote
HOTNETS
2010
15 years 10 days ago
2010
Today's networks discriminate towards or against traffic for a wide range of reasons, and in response end users and their applications increasingly attempt to evade monitorin...
157
click to vote
EICS
2009
ACM
16 years 11 hour ago
2009
ACM
The Open Interface Development Environment (OIDE) was developed as part of the OpenInterface (OI) platform, an open source framework for the rapid development of multimodal intera...
155
click to vote
EDUTAINMENT
2007
Springer
15 years 11 months ago
2007
Springer
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...