2266 search results - page 359 / 454 » Generalizing parametric timing analysis |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract--In the majority of studies on CSMA wireless networks, a contention graph is used to model the carrier sensing relationships among links. This is a 0-1 model in which two ...
GIS
2010
ACM
13 years 8 months ago
2010
ACM
Many Web sites support keyword search on their spatial data, such as business listings and photos. In these systems, inconsistencies and errors can exist in both queries and the d...
KBSE
2010
IEEE
13 years 8 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
RTAS
2010
IEEE
13 years 8 months ago
2010
IEEE
—Application of runtime monitoring to maintain the health of an embedded real-time software system requires that anomalous behavior be detected within a bounded time while preser...
SISAP
2010
IEEE
13 years 8 months ago
2010
IEEE
Most multimedia information retrieval systems use an indexing scheme to speed up similarity search. The index aims to discard large portions of the data collection at query time. ...