12193 search results - page 217 / 2439 » It's not all about |
182
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
177
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Contextual advertising on web pages has become very popular recently and it poses its own set of unique text mining challenges. Often advertisers wish to either target (or avoid) ...
219
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
In this paper we introduce the idea of organizing systems. Through a number of examples from an ongoing ethnographic study of family life, we suggest that organizing systems come ...
147
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
: In the last decade, many evaluation results have been created within the evaluation initiatives like TREC, NTCIR and CLEF. The large amount of data available has led to substanti...
249
Voted
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...