9702 search results - page 385 / 1941 » Communicating Mobile Processes |
171
click to vote
UML
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
161
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
- This paper covers a multi-functional hardware intellectual property (IP) for the encoding and decoding of digital moving pictures with low power consumption. The IP is mainly int...
164
click to vote
NIPS
2003
15 years 8 months ago
2003
In this article, we present a novel approach to solving the localization problem in cellular networks. The goal is to estimate a mobile user’s position, based on measurements of...
245
Voted
INTERSENSE
2006
ACM
16 years 24 days ago
2006
ACM
— Mobile Ad-hoc Networks (MANETs) are seen as an essential technology to support future Pervasive Computing Scenarios and 4G networks. In a MANET, efficient support of multipoint...
198
click to vote
MOBICOM
2010
ACM
15 years 7 months ago
2010
ACM
We report a first-of-its-kind realization of directional transmission for smartphone-like mobile devices using multiple passive directional antennas, supported by only one RF chai...