2881 search results - page 518 / 577 » Model Checking for Programming Languages using Verisoft |
123
click to vote
DOCENG
2003
ACM
15 years 7 months ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...
122
click to vote
UM
2005
Springer
15 years 7 months ago
2005
Springer
Intelligent tutoring systems help students acquire cognitive skills by tracing students’ knowledge and providing relevant feedback. However, feedback that focuses only on the cog...
135
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
146
click to vote
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
Agents are intended to interact in open systems where the knowledge about others (reputation) is incomplete and uncertain. Also, this knowledge about other agents is subjective si...
227
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...