623 search results - page 51 / 125 » Declarative Network Verification |
IWANN
2005
Springer
14 years 2 months ago
2005
Springer
Face recognition is one of the most important image processing research topics which is widely used in personal identification, verification and security applications. In this pape...
EWSN
2006
Springer
14 years 8 months ago
2006
Springer
We present a framework called Semantic Streams that allows users to pose declarative queries over semantic interpretations of sensor data. For example, instead of querying raw magn...
FMICS
2010
Springer
13 years 9 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
ICC
2007
IEEE
14 years 19 days ago
2007
IEEE
Overlay networks have shown tremendous potential in solving large scale data dissemination problem by employing peer-to-peer communication protocols. These networks, however, have ...
ICCAD
2003
IEEE
14 years 5 months ago
2003
IEEE
— In this paper we consider the problem of finding a smaller RLCM circuit that approximately replicates the behavior (up to a certain frequency) of a given RLCM circuit. Targeted...