Sciweavers

2002 search results - page 266 / 401
» Interactive technical illustration
Sort
View
92
Voted
COMCOM
2000
82views more  COMCOM 2000»
15 years 19 days ago
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
Jean-Pierre Courtiat, C. A. S. Santos, Christophe ...
JSA
1998
74views more  JSA 1998»
15 years 14 days ago
Windowed active sampling for reliable neural learning
The composition of the example set has a major impact on the quality of neural learning. The popular approach is focused on extensive preprocessing to bridge the representation ga...
Emilia I. Barakova, Lambert Spaanenburg
RE
2002
Springer
15 years 14 days ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
113
Voted
SOFTWARE
2002
15 years 13 days ago
Usage-Centered Engineering for Web Applications
: This paper presents a lightweight form of usage-centered design that has proved particularly effective in designing highly usable Webbased applications. Fully compatible with bot...
Larry L. Constantine, Lucy A. D. Lockwood
100
Voted
PUC
2008
117views more  PUC 2008»
15 years 8 days ago
The disenchantment of affect
: In computing design, experience is often broken down, compartmentalized, and engineered: a process that often disenchants the original experience. In this paper, we demonstrate t...
Phoebe Sengers, Kirsten Boehner, Michael Mateas, G...