Sciweavers

1527 search results - page 173 / 306
» What About Wednesday
Sort
View
ICSE
2007
IEEE-ACM
14 years 9 months ago
Information Needs in Collocated Software Development Teams
Previous research has documented the fragmented nature of software development work, with frequent interruptions and coordination. To explain this in more detail, we analyzed soft...
Andrew J. Ko, Robert DeLine, Gina Venolia
TLDI
2009
ACM
169views Formal Methods» more  TLDI 2009»
14 years 6 months ago
Relational parametricity for references and recursive types
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
Lars Birkedal, Kristian Støvring, Jacob Tha...
CHI
2010
ACM
14 years 4 months ago
The role of community and groupware in geocache creation and maintenance
Applications that provide location-based experiences are an increasingly viable design space given the proliferation of GPS-enabled mobile devices. However, these applications are...
Carman Neustaedter, Anthony Tang, Tejinder K. Judg...
EUROSEC
2010
ACM
14 years 4 months ago
Differential privacy for collaborative security
Fighting global security threats with only a local view is inherently difficult. Internet network operators need to fight global phenomena such as botnets, but they are hampered...
Jason Reed, Adam J. Aviv, Daniel Wagner, Andreas H...
IAT
2008
IEEE
14 years 3 months ago
An Ambient Intelligent Agent with Awareness of Human Task Execution
To support human functioning, ambient intelligent agents require knowledge about the tasks executed by the human. This knowledge includes design-time information like: (i) the goa...
Fiemke Both, Mark Hoogendoorn, Andy van der Mee, M...