6608 search results - page 997 / 1322 » On the Completeness of Model Checking |
326
click to vote
SADFE
2008
IEEE
16 years 1 months ago
2008
IEEE
Different users apply computer forensic systems, models, and terminology in very different ways. They often make incompatible assumptions and reach different conclusions about ...
185
click to vote
SMI
2008
IEEE
16 years 1 months ago
2008
IEEE
Following the definition of developable surface in differential geometry, the flattenable mesh surface, a special type of piecewiselinear surface, inherits the good property of ...
194
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper presents scheduling strategies for sensing workload in wireless sensor networks using Divisible Load Theory (DLT), which offers a tractable model and realist...
186
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—We propose a novel algorithm for detecting wormhole attacks in wireless multi-hop networks. The algorithm uses only connectivity information to look for forbidden substr...
168
click to vote
PG
2007
IEEE
16 years 1 months ago
2007
IEEE
We complete and bring together two pairs of surface constructions that use polynomial pieces of degree (3,3) to associate a smooth surface with a mesh. The two pairs complement ea...