1237 search results - page 113 / 248 » Strictness and Totality Analysis |
178
click to vote
DCOSS
2007
Springer
16 years 10 days ago
2007
Springer
With the field of wireless sensor networks rapidly maturing, the focus shifts from “easy” deployments, like remote monitoring, to more difficult domains where applications imp...
184
click to vote
ECRTS
2006
IEEE
16 years 6 days ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...
152
click to vote
CASES
2006
ACM
16 years 4 days ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
158
click to vote
3DIM
2005
IEEE
15 years 11 months ago
2005
IEEE
Conventional registration algorithms are mostly concerned with rigid-body transformation parameters between a pair of 3D range images. Our proposed framework aims to determine, in...
157
Voted
ICNP
2005
IEEE
15 years 11 months ago
2005
IEEE
In unstructured peer-to-peer networks, controlled flooding aims at locating an item at the minimum message cost. Dynamic querying is a new controlled flooding technique. While i...