1164 search results - page 209 / 233 » Constructive nonlinear dynamics in process systems engineeri... |
192
Voted
ICDE
2002
IEEE
16 years 1 months ago
2002
IEEE
Spatio-temporal databases store information about the positions of individual objects over time. In many applications however, such as traffic supervision or mobile communication ...
207
click to vote
PADL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
107
Voted
WOWMOM
2006
ACM
15 years 6 months ago
2006
ACM
Motivated by recent surfacing viruses that can spread over the air interfaces, in this paper, we investigate the potential disastrous threat of node compromise spreading in wirele...
112
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Overlay topology plays an important role in P2P systems. Topology serves as a basis for achieving functions such as routing, searching and information dissemination, and it has a m...
115
Voted
OTM
2005
Springer
15 years 6 months ago
2005
Springer
The strong dynamics of peer-to-peer networks, coupled with the diversity of peer vocabularies, makes query processing in peer database systems a very challenging task. In this pape...