Sciweavers

766 search results - page 58 / 154
» Synthesis of Synchronous Interfaces
Sort
View
DATE
2008
IEEE
111views Hardware» more  DATE 2008»
14 years 3 months ago
A Formal Approach To The Protocol Converter Problem
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approach...
Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Rames...
KBSE
1994
IEEE
14 years 25 days ago
A Formal Approach to Domain-Oriented Software Design Environments
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
Michael R. Lowry, Andrew Philpot, Thomas Pressburg...
TVCG
2012
216views Hardware» more  TVCG 2012»
11 years 11 months ago
AniPaint: Interactive Painterly Animation from Video
—This paper presents an interactive system for creating painterly animation from video sequences. Previous approaches to painterly animation typically emphasize either purely aut...
Peter O'Donovan, Aaron Hertzmann
CN
1999
106views more  CN 1999»
13 years 8 months ago
UIML: An Appliance-Independent XML User Interface Language
Today's Internet appliances feature user interface technologies almost unknown a few years ago: touch screens, styli, handwriting and voice recognition, speech synthesis, tin...
Marc Abrams, Constantinos Phanouriou, Alan L. Bato...
CSCW
2004
ACM
14 years 2 months ago
Hiding and revealing in online poker games
Poker is largely a game of social and psychological information. However, online card room interfaces do not support the subtle communication between players that is integral to t...
Scott A. Golder, Judith S. Donath