5630 search results - page 172 / 1126 » Computability in Specification |
184
click to vote
SIGDOC
2010
ACM
15 years 2 months ago
2010
ACM
The growing popularity of mobile devices gave birth to a still emergent research field, called Mobile Music, and concerning the development of musical applications for use in thes...
121
Voted
SIGCSE
2009
ACM
16 years 5 months ago
2009
ACM
This paper presents a methodology for increasing undergraduate Computer Science (CS) major enrollment at comprehensive public universities, particularly those that have first gene...
150
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
Communication appliances, intended for home settings, require intuitive forms of interaction. Computer vision offers a potential solution, but is not yet sufficiently accurate.As ...
121
Voted
STOC
2007
ACM
16 years 4 months ago
2007
ACM
A zero-knowledge proof allows a prover to convince a verifier of an assertion without revealing any further information beyond the fact that the assertion is true. Secure multipar...
152
Voted
SC
2009
ACM
15 years 11 months ago
2009
ACM
One of the main advantages of using a scientific workflow management system (SWfMS) to orchestrate data flows among scientific activities is to control and register the whole work...