1323 search results - page 122 / 265 » Extended Modeling Languages for Interaction Protocol Design |
156
Voted
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
This paper proposes new network interface controller (NIC) designs that take advantage of integration with the host CPU to provide increased flexibility for operating system kerne...
132
click to vote
TCSV
2008
15 years 3 months ago
2008
In this paper, we present a robust passage retrieval algorithm to extend the conventional text question answering (Q/A) to videos. Users interact with our videoQ/A system through n...
125
Voted
FAC
2002
15 years 3 months ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
133
Voted
GI
2001
Springer
15 years 8 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
140
Voted
DOCENG
2003
ACM
15 years 9 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...