Sciweavers

991 search results - page 162 / 199
» MetaCore: An Application Specific DSP Development System
Sort
View
FORTE
2004
15 years 1 months ago
Localizing Program Errors for Cimple Debugging
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
Samik Basu, Diptikalyan Saha, Scott A. Smolka
EFDBS
2000
15 years 1 months ago
HERA: Automatically Generating Hypermedia Front-ends
The generation of hypermedia (or Web-based) presentations plays an important role in information management on the World Wide Web. In applications for Web modeling and querying, in...
Geert-Jan Houben
IJNSEC
2006
82views more  IJNSEC 2006»
14 years 11 months ago
A Study of Micro-payment Based on One-way Hash Chain
Electronic payment systems have gradually become an important issue nowadays because of the popularity and importance of electronic commerce on the Internet. Security and convenie...
Min-Shiang Hwang, Pei-Chen Sung
IWC
2006
99views more  IWC 2006»
14 years 11 months ago
A computer support tool for the early stages of architectural design
Even in the current computer age, there are still many important application areas, such as early architectural design, where traditional tools like sketching on paper continue to...
Dzmitry Aliakseyeu, Jean-Bernard Martens, Matthias...
BMCBI
2006
126views more  BMCBI 2006»
14 years 12 months ago
Genomes as geography: using GIS technology to build interactive genome feature maps
Background: Many commonly used genome browsers display sequence annotations and related attributes as horizontal data tracks that can be toggled on and off according to user prefe...
Mary E. Dolan, Constance C. Holden, M. Kate Beard,...