4460 search results - page 673 / 892 » Formal methods for interactive systems |
136
click to vote
SIGCOMM
2006
ACM
15 years 10 months ago
2006
ACM
We present Wit, a non-intrusive tool that builds on passive monitoring to analyze the detailed MAC-level behavior of operational wireless networks. Wit uses three processing steps...
130
click to vote
WIKIS
2006
ACM
15 years 10 months ago
2006
ACM
Similarly to the Web Wikis have advanced from initially simple ad-hoc solutions to highly popular systems of widespread use. This evolution is reflected by the impressive number ...
146
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...
103
Voted
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Analyzing coverage of a student’s utterance or essay (completeness) and diagnosing errors (correctness) can be treated as a diagnosis problem and solved using a well-known techni...
179
click to vote
MM
2009
ACM
15 years 9 months ago
2009
ACM
Television news has become the predominant way of understanding the world around us, but individual news broadcasters can frame or mislead an audience’s understanding of politic...