1833 search results - page 146 / 367 » Mechanized Verification with Sharing |
176
click to vote
WONS
2012
IEEE
14 years 7 days ago
2012
IEEE
—The recent arrival of 6LoWPAN, an IPv6 variant for low-power wireless devices, allows for the development of IPbased applications for low-power wireless networks like sensor net...
148
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— Imitation is a powerful mechanism for transferring knowledge from an instructor to a na¨ıve observer, one that is deeply contingent on a state of shared attention between the...
150
click to vote
SASN
2005
ACM
15 years 10 months ago
2005
ACM
Group communication has become an important component in wireless networks. In this paper, we focus on the environments in which multiple groups coexist in the system, and both in...
163
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: It is thought that genes with similar patterns of mRNA expression and genes with similar functions are likely to be regulated via the same mechanisms. It has been diff...
104
click to vote
ICIP
1998
IEEE
16 years 6 months ago
1998
IEEE
We propose and consider a secure printing system for the distributed printing of documents and images over the World Wide Web. This system enables secure sharing, commerce, and co...