1842 search results - page 158 / 369 » Measurable systems and behavioral sciences |
180
click to vote
VRST
2005
ACM
16 years 4 days ago
2005
ACM
In this paper, we introduce an interdisciplinary project, involving researchers from the fields of Physical Therapy, Computer Science, Psychology, Communication and Cell Neurobiol...
218
click to vote
WMASH
2004
ACM
16 years 11 hour ago
2004
ACM
With the wide spread growth of mobile computing devices and local area wireless networks, wireless network providers have started to target the users with value-added services bas...
177
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We present FairplayMP (for "Fairplay Multi-Party"), a system for secure multi-party computation. Secure computation is one of the great achievements of modern cryptograp...
172
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Sociological models of human behavior can explain population-level phenomena within social systems; computer modeling can simulate a wide variety of scenarios and allow one to p...
160
click to vote
GG
2004
Springer
15 years 12 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...