Sciweavers

1527 search results - page 76 / 306
» From Requirements to Design: Formalizing the Key Steps
Sort
View
191
Voted
CORR
2007
Springer
114views Education» more  CORR 2007»
15 years 6 months ago
SWI-Prolog and the Web
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
Jan Wielemaker, Zhisheng Huang, Lourens van der Me...
POPL
2008
ACM
16 years 6 months ago
The design and implementation of typed scheme
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...
Sam Tobin-Hochstadt, Matthias Felleisen
DSVIS
2008
Springer
15 years 7 months ago
Multi-fidelity User Interface Specifications
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
Thomas Memmel, Jean Vanderdonckt, Harald Reiterer
JCB
2008
81views more  JCB 2008»
15 years 6 months ago
New Constructions of One- and Two-Stage Pooling Designs
The study of gene functions requires a DNA library of high quality, such a library is obtained from a large mount of testing and screening. Pooling design is a very helpful tool f...
Yongxi Cheng, Ding-Zhu Du
CONCURRENCY
2007
118views more  CONCURRENCY 2007»
15 years 6 months ago
Design and implementation issues for distributed CCA framework interoperability
Component frameworks, including those that support the Common Component Architecture (CCA), represent a promising approach to addressing this challenge, one that is being realized...
Madhusudhan Govindaraju, Michael J. Lewis, Kenneth...