225 search results - page 28 / 45 » Design for Constraint Violation Detection in Safety-Critical... |
185
click to vote
INFOCOM
2008
IEEE
16 years 13 days ago
2008
IEEE
—It has been of significant importance to provision network-wide guaranteed QoS for a wide range of event detection applications in wireless sensor networks (WSNs). This paper in...
183
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
184
click to vote
RTSS
2007
IEEE
16 years 8 days ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
159
click to vote
ISCA
2009
IEEE
16 years 20 days ago
2009
IEEE
Shared-memory multi-threaded programming is inherently more difficult than single-threaded programming. The main source of complexity is that, the threads of an application can in...
196
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
The dynamic nature of JavaScript web applications has given rise to the possibility of privacy violating information flows. We present an empirical study of the prevalence of such...