6829 search results - page 1067 / 1366 » Quantitative Generalizations of Languages |
156
click to vote
ERLANG
2006
ACM
16 years 20 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
164
click to vote
ISLPED
2006
ACM
16 years 20 days ago
2006
ACM
Interprocessor synchronization, while extremely important for ensuring execution correctness, can be very costly in terms of both power and performance overheads. Unfortunately, m...
136
click to vote
IUI
2006
ACM
16 years 20 days ago
2006
ACM
Question-answering dialogue systems have found many applications in interactive learning environments. This paper is concerned with one such application for Army leadership traini...
209
click to vote
IUI
2006
ACM
16 years 20 days ago
2006
ACM
Networked appliances can simplify our lives, but interacting with them can be difficult in itself. KitchenSense is an early prototype of a networked kitchen full of sensors that u...
179
click to vote
MM
2006
ACM
16 years 20 days ago
2006
ACM
Takashi’s Seasons is a sequential live shadow puppet/video performance in which a number of interpretations of the four seasons are performed by an artist. Controlled with fishi...