8828 search results - page 303 / 1766 » Formal methods in practice |
194
click to vote
INTERACTIONS
2010
15 years 5 months ago
2010
s on Human Factors in Computing Systems. CHI ‘07. New York: ACM, 2007. university environment at scale, with structure, and with rigor. The notion of studio culture and learning ...
188
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
As Web sites are now ordinary products, it is necessary to explicit the notion of quality of a Web site. The quality of a site may be linked to the easiness of accessibility and a...
161
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...
183
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
Agents or agent teams deployed to assist humans often face the challenges of monitoring the state of key processes in their environment (including the state of their human users t...
197
Voted
MLDM
2005
Springer
16 years 6 days ago
2005
Springer
In the context of large databases, data preparation takes a greater importance : instances and explanatory attributes have to be carefully selected. In supervised learning, instanc...