390 search results - page 46 / 78 » Observations and lessons learned from automated testing |
CHI
2009
ACM
14 years 8 months ago
2009
ACM
We discuss the problem of assessing and aiding user performance in dynamic tasks that require rapid selection among multiple information sources. Motivated by research in human se...
ICLP
1999
Springer
13 years 12 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
We introduce Doppelganger, a novel system for creating and enforcing fine-grained, privacy preserving browser cookie policies with low manual effort. Browser cookies pose privacy ...
ICDM
2005
IEEE
14 years 1 months ago
2005
IEEE
An outlier is an observation that deviates so much from other observations as to arouse suspicion that it was generated by a different mechanism. Outlier detection has many applic...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...