100 search results - page 19 / 20 » Pragmatic evaluation of folksonomies |
SIGSOFT
2008
ACM
14 years 7 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
IFIP
2009
Springer
14 years 25 days ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
CCS
2007
ACM
14 years 14 days ago
2007
ACM
Materialized XPath access-control views are commonly used for enforcing access control. When access control rules defining a materialized XML access-control view change, the view...
SIGCSE
2010
ACM
13 years 11 months ago
2010
ACM
Media-Propelled Computational Thinking (MPCT – pronounced impact) is a course designed to introduce programming in the context of engaging problems in media computation, math, a...
CIKM
2001
Springer
13 years 10 months ago
2001
Springer
If XML is to play the critical role of the lingua franca for Internet data interchange that many predict, it is necessary to start designing and adopting benchmarks allowing the c...