1833 search results - page 254 / 367 » Mechanized Verification with Sharing |
154
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The characterization of the relationship between a longitudinal response process and a time-to-event has been a pressing challenge in biostatistical research. This has...
207
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
Supporting awareness of others is an idea that holds promise for improving the usability of real-time distributed groupware. However, there is little principled information availa...
213
click to vote
EJWCN
2010
15 years 1 months ago
2010
With the increasing popularity of wireless mesh networks (WMNs), the demand for multimedia services encompassing VoIP, multimedia streaming and interactive gaming is increasing rap...
155
click to vote
JAMIA
2011
14 years 9 months ago
2011
Objective Uncovering the dominant molecular deregulation among the multitude of pathways implicated in aggressive prostate cancer is essential to intelligently developing targeted...
205
click to vote
SIGMETRICS
2012
ACM
13 years 8 months ago
2012
ACM
Sampling is crucial for controlling resource consumption by internet traffic flow measurements. Routers use Packet Sampled NetFlow [9], and completed flow records are sampled in...