5675 search results - page 1065 / 1135 » Formalising Performative Interaction |
92
Voted
IMC
2004
ACM
15 years 7 months ago
2004
ACM
Virtual Private Networks provide secure and reliable communication between customer sites. With increase in number and size of VPNs, providers need efficient provisioning techniqu...
117
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
131
click to vote
ITICSE
2004
ACM
15 years 7 months ago
2004
ACM
SQL (Structured Query Language) is one of the essential topics in foundation databases courses in higher education. Due to its apparent simple syntax, learning to use the full pow...
109
click to vote
JCDL
2004
ACM
15 years 7 months ago
2004
ACM
As part of a more extensive study of reading-related practices, we have explored how people share information they encounter in their everyday reading as a complement to the more ...
123
click to vote
MIR
2004
ACM
15 years 7 months ago
2004
ACM
Video parsing and indexing is an important early stage of contentbased video analysis. In this paper, we present a new web-enabled video indexing system that integrates Synchroniz...