3154 search results - page 411 / 631 » An annotation based approach to support design communication |
192
click to vote
JSS
2006
15 years 7 months ago
2006
Integrating a system of disparate components to form a single application is still a daunting, high risk task, especially for components with heterogeneous communication expectati...
208
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—Knowing accurate positions of nodes in wireless ad-hoc and sensor networks is essential for a wide range of pervasive and mobile applications. However, errors are inevitable in ...
220
click to vote
KBSE
2005
IEEE
16 years 25 days ago
2005
IEEE
Distributed applications typically interact with a number of heterogeneous and autonomous components that evolve independently. Methodical development of such applications can ben...
199
click to vote
ICCAD
2008
IEEE
16 years 4 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
251
click to vote
MOBICOM
2004
ACM
16 years 21 days ago
2004
ACM
In this paper we conduct a feasibility study of delay-critical safety applications over vehicular ad hoc networks based on the emerging dedicated short range communications (DSRC)...