Sciweavers

1675 search results - page 177 / 335
» Compositional Model-Based Design
Sort
View
APPROX
2005
Springer
79views Algorithms» more  APPROX 2005»
14 years 2 months ago
Reconstructive Dispersers and Hitting Set Generators
Abstract. We give a generic construction of an optimal hitting set generator (HSG) from any good “reconstructive” disperser. Past constructions of optimal HSGs have been based ...
Christopher Umans
TGC
2005
Springer
14 years 2 months ago
A Distributed Object-Oriented Language with Session Types
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...
CBSE
2004
Springer
14 years 2 months ago
CB-SPE Tool: Putting Component-Based Performance Engineering into Practice
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
Antonia Bertolino, Raffaela Mirandola
MM
2003
ACM
135views Multimedia» more  MM 2003»
14 years 2 months ago
Detail-on-demand hypervideo
We demonstrate the use of detail-on-demand hypervideo in interactive training and video summarization. Detail-on-demand video allows viewers to watch short video segments and to f...
John Doherty, Andreas Girgensohn, Jonathan Helfman...
ICMI
2003
Springer
164views Biometrics» more  ICMI 2003»
14 years 2 months ago
A visually grounded natural language interface for reference to spatial scenes
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
Peter Gorniak, Deb Roy