1833 search results - page 363 / 367 » Mechanized Verification with Sharing |
JOCN
2010
13 years 5 months ago
2010
■ It is still debated to what degree top–down and bottom–up driven attentional control processes are subserved by shared or by separate mechanisms. Interactions between thes...
JOCN
2010
13 years 5 months ago
2010
■ Persuasion is at the root of countless social exchanges in which one person or group is motivated to have another share its beliefs, desires, or behavioral intentions. Here, w...
JSAC
2010
13 years 5 months ago
2010
—Due to the geographic distribution of its subscribers, Ethernet Passive Optical Networks (EPONs) have typically varying propagation delays between the Optical Network Units (ONU...
SIGOPS
2010
13 years 5 months ago
2010
Today’s Rich Internet Application (RIA) technologies such as Ajax, Flex, or Silverlight, are designed around the client-server paradigm and cannot easily take advantage of repli...
TIFS
2010
13 years 5 months ago
2010
—The multipath-rich wireless environment associated with typical wireless usage scenarios is characterized by a fading channel response that is time-varying, location-sensitive, ...