587 search results - page 69 / 118 » Compactness of Loeb Spaces |
101
click to vote
SEFM
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
SEMCO
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper presents a robust invariant descriptor for symbol-based image recognition and retrieval. A modified Hough-based Transform is used to extract parameter space informatio...
VTC
2007
IEEE
15 years 4 months ago
2007
IEEE
—A compact higher-order mode microstrip patch antenna (HM-MPA) suitable for on-body communications at 2.45 GHz is presented. Using FDTD simulations we show that the HM-MPA had an...
101
click to vote
CAV
2007
Springer
15 years 3 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
ETS
2006
IEEE
15 years 3 months ago
2006
IEEE
A central problem in built-in self test (BIST) is how to efficiently generate a small set of test vectors that detect all targeted faults. We propose a novel solution that uses l...