9110 search results - page 255 / 1822 » Formally-Based Design Evaluation |
182
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, we explore the feasibility of using Mobile Ad-hoc Networks (MANETs) for rural public safety. First, we discuss a QoS enhancement to a standard routing protocol, D...
178
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
Although laboratory user studies are the most common method for validating the utility of information visualization systems, it may be difficult to determine if such studies accu...
160
click to vote
GLOBECOM
2008
IEEE
16 years 29 days ago
2008
IEEE
—Communications are increasingly relying on peer– to–peer models of interaction in which all participating entities have the same level of authority. Such models allow develo...
149
click to vote
SIES
2008
IEEE
16 years 26 days ago
2008
IEEE
—Chip multiprocessing design is an emerging trend for embedded systems. In this paper, we introduce a Java multiprocessor system-on-chip called JopCMP. It is a symmetric shared-m...
151
click to vote
VTC
2008
IEEE
16 years 26 days ago
2008
IEEE
—Car-to-car communication (C2CC) enables cars to exchange information that can be used to, e.g., improve the drivers’ safety or comfort. Recently, WLANs based on the IEEE 802.1...