Sciweavers

5075 search results - page 313 / 1015
» Model-based interface development
Sort
View
COMPUTER
1998
94views more  COMPUTER 1998»
15 years 4 months ago
Multiprocessors Should Support Simple Memory-Consistency Models
provide tools or abstractions that allow developers to program in parallel. But what hardware do we need to support shared memory threads? The hardware should provide a well-defin...
Mark D. Hill
MM
2010
ACM
141views Multimedia» more  MM 2010»
15 years 2 months ago
Automatic and manual processes in end-user multimedia authoring tools: where is the balance?
This thesis aims to analyze, model, and develop a framework for next-generation multimedia authoring tools targeted to end-users. In particular, I concentrate on the combination o...
Rodrigo Laiola Guimarães
UIST
2010
ACM
15 years 2 months ago
Eddi: interactive topic-based browsing of social status streams
Twitter streams are on overload: active users receive hundreds of items per day, and existing interfaces force us to march through a chronologically-ordered morass to find tweets ...
Michael S. Bernstein, Bongwon Suh, Lichan Hong, Ji...
DLS
2009
196views Languages» more  DLS 2009»
15 years 2 months ago
Contracts for first-class modules
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
T. Stephen Strickland, Matthias Felleisen
JDCTA
2010
150views more  JDCTA 2010»
14 years 11 months ago
Proof as Composition: An approach for the Large-granularity Web Services Composition
The large-granularity Web services are a new form of Web services. In contrast to the traditional Web services, they often have more interfaces, encapsulate more complex business ...
Yuyu Yin, Ying Li, Jianwei Yin, ShuiGuang Deng