4286 search results - page 685 / 858 » Formalizing Service Interactions |
160
click to vote
HUC
2011
Springer
14 years 3 months ago
2011
Springer
We describe the design and field evaluation of the Serendipitous Family Stories system, a web and mobile service that allows for videos to be saved in user-specified real-world lo...
141
Voted
IUI
2012
ACM
13 years 11 months ago
2012
ACM
The next big step in embedded, mobile speech recognition will be to allow completely free input as it is needed for messaging like SMS or email. However, unconstrained dictation r...
143
click to vote
ASIACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Computational puzzles are mildly difficult computational problems that require resources (processor cycles, memory, or both) to solve. Puzzles have found a variety of uses in secu...
119
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
165
click to vote
FM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...