1833 search results - page 43 / 367 » Mechanized Verification with Sharing |
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
We consider a problem where two selfish cognitive radio users try to share two channels on which they each have potentially different valuations. We first formulate the problem as ...
TABLETOP
2006
IEEE
14 years 5 months ago
2006
IEEE
A digital tabletop, such as the one shown in Figure 1, offers several advantages over other groupware form factors for collaborative applications. However, users of a tabletop sys...
VLSID
2009
IEEE
14 years 11 months ago
2009
IEEE
Increasing the number of cores in a multi-core processor reduces per-core performance. On the other hand, providing more resources to each core limits the number of cores on a chi...
ISCA
1998
IEEE
14 years 2 months ago
1998
IEEE
Future parallel computers must efficiently execute not only hand-coded applications but also programs written in high-level, parallel programming languages. Today's machines ...
ICC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract—Secure multicast has become an important component of many applications in wireless networks. In this paper, we investigate secure intra and inter group information shar...