8828 search results - page 1411 / 1766 » Formal methods in practice |
222
click to vote
TMM
2010
15 years 1 months ago
2010
Abstract--The automatic discovery of group conversational behavior is a relevant problem in social computing. In this paper, we present an approach to address this problem by defin...
157
click to vote
JAMIA
2011
14 years 9 months ago
2011
Objective To design, build, implement, and evaluate a personal health record (PHR), tethered to the Military Health System, that leverages MicrosoftÒ HealthVault and GoogleÒ Hea...
195
click to vote
JOC
2011
14 years 9 months ago
2011
Physical random number generators (a.k.a. TRNGs) appear to be critical components of many cryptographic systems. Yet, such building blocks are still too seldom provided with a form...
204
click to vote
SIAMAM
2011
14 years 9 months ago
2011
In wireless networks, the channels are often subject to random variations that limit the reliability of communications between any two radios. Geographic transmission strategies ca...
206
click to vote
SIAMAM
2011
14 years 9 months ago
2011
We develop a general theory of the swelling kinetics of polymer gels, with the view that a polymer gel is a two-phase fluid. The model we propose is a free boundary problem and ca...