Sciweavers

1010 search results - page 163 / 202
» System and Framework for QA of Process Design Kits
Sort
View
HASKELL
2006
ACM
14 years 2 months ago
User-level transactional programming in Haskell
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
Peter Thiemann
GROUP
2005
ACM
14 years 2 months ago
Becoming Wikipedian: transformation of participation in a collaborative online encyclopedia
Traditional activities change in surprising ways when computermediated communication becomes a component of the activity system. In this descriptive study, we leverage two perspec...
Susan L. Bryant, Andrea Forte, Amy Bruckman
ICMI
2003
Springer
164views Biometrics» more  ICMI 2003»
14 years 1 months ago
A visually grounded natural language interface for reference to spatial scenes
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
Peter Gorniak, Deb Roy
SIGSOFT
1998
ACM
14 years 27 days ago
Reasoning about Implicit Invocation
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
David Garlan, Somesh Jha, David Notkin
RECSYS
2010
ACM
13 years 9 months ago
Interactive recommendations in social endorsement networks
An increasing number of social networking platforms are giving users the option to endorse entities that they find appealing, such as videos, photos, or even other users. We defin...
Theodoros Lappas, Dimitrios Gunopulos