4460 search results - page 649 / 892 » Formal methods for interactive systems |
137
click to vote
ICMCS
2007
IEEE
16 years 25 days ago
2007
IEEE
We describe a new interaction technique that allows users to control nonlinear video playback by directly manipulating objects seen in the video. This interaction technique is sim...
149
click to vote
AIED
2007
Springer
16 years 22 days ago
2007
Springer
Good teachers know their students, and exploit this knowledge to adapt or optimise their instruction. Traditional teachers know their students because they interact with them face-...
165
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— In this paper we present analytical techniques that can be used to better understand the behavior of malware, a generic term that refers to all kinds of malicious software prog...
200
click to vote
PERCOM
2003
ACM
15 years 11 months ago
2003
ACM
To programmatically discover and interact with services in ubiquitous computing environments, an application needs to solve two problems: (1) is it semantically meaningful to inte...
168
click to vote
INTERACT
2007
15 years 8 months ago
2007
This paper describes a novel browsing paradigm, taking benefit of the various types of links (e.g. thematic, temporal, references, etc.) that can be automatically built between mul...