Sciweavers

6167 search results - page 126 / 1234
» Can Refinement be Automated
Sort
View
HICSS
2009
IEEE
155views Biometrics» more  HICSS 2009»
15 years 11 months ago
Collaborative Recommender Systems for Building Automation
Building Automation Systems (BASs) can save building owners money by reducing energy consumption while simultaneously preserving occupant comfort. There are algorithms that optimi...
Michael LeMay, Jason J. Haas, Carl A. Gunter
KBSE
2008
IEEE
15 years 10 months ago
DiffGen: Automated Regression Unit-Test Generation
— Software programs continue to evolve throughout their lifetime. Maintenance of such evolving programs, including regression testing, is one of the most expensive activities in ...
Kunal Taneja, Tao Xie
ACSAC
2006
IEEE
15 years 10 months ago
PolyUnpack: Automating the Hidden-Code Extraction of Unpack-Executing Malware
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
Paul Royal, Mitch Halpin, David Dagon, Robert Edmo...
ICCD
2006
IEEE
134views Hardware» more  ICCD 2006»
15 years 10 months ago
Automated Design of Microfluidics-Based Biochips: Connecting Biochemistry to Electronics CAD
Microfluidics-based biochips offer exciting possibilities for highthroughput sequencing, parallel immunoassays, blood chemistry for clinical diagnostics, DNA sequencing, and envir...
Krishnendu Chakrabarty
IEEESCC
2006
IEEE
15 years 10 months ago
The MIDAS System: A Service Oriented Architecture for Automated Supply Chain Management
The MIDAS system that we have developed is an automated supply chain management system based on the Service Oriented Architecture and Web Services. MIDAS provides a loosely-couple...
Firat Kart, Zhongnan Shen, Cagdas Evren Gerede