Sciweavers

5409 search results - page 663 / 1082
» Basic Observables for Processes
Sort
View
IFL
2003
Springer
167views Formal Methods» more  IFL 2003»
15 years 11 months ago
A Functional Shell That Dynamically Combines Compiled Code
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
Arjen van Weelden, Rinus Plasmeijer
AINA
2010
IEEE
15 years 11 months ago
CAPTCHA Using Strangeness in Machine Translation
— CAPTCHA is a technique that is used to prevent automatic programs from being able to acquire free e-mail or online service accounts. However, as many researchers have already r...
Takumi Yamamoto, J. Doug Tygar, Masakatsu Nishigak...
DATE
2010
IEEE
142views Hardware» more  DATE 2010»
15 years 11 months ago
Testing TSV-based three-dimensional stacked ICs
To meet customer’s product-quality expectations, each individual IC needs to be tested for manufacturing defects incurred during its many high-precision, and hence defect-prone ...
Erik Jan Marinissen
HICSS
2002
IEEE
71views Biometrics» more  HICSS 2002»
15 years 11 months ago
Source Code Generator Based on a Proprietary Specification Language
An application generator has resulted from the authors' efforts to improve the development of interactive database applications. The developed tool is based on a meta-base. T...
Kresimir Fertalj, Damir Kalpic, Vedran Mornar
HICSS
2002
IEEE
111views Biometrics» more  HICSS 2002»
15 years 11 months ago
Intelligent Workflow Techniques for Distributed Group Facilitation
Distributed group facilitation techniques are becoming a necessity because many of the face-toface facilitation techniques are no longer suitable in a distributed environment. Alt...
Jay F. Nunamaker, J. Leon Zhao, Robert O. Briggs