Sciweavers

2956 search results - page 319 / 592
» Databases and Higher Types
Sort
View
AFP
2008
Springer
249views Formal Methods» more  AFP 2008»
16 years 29 days ago
An iTask Case Study: A Conference Management System
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
BIBE
2007
IEEE
142views Bioinformatics» more  BIBE 2007»
16 years 29 days ago
An HV-SVM Classifier to Infer TF-TF Interactions Using Protein Domains and GO Annotations
—Interactions between transcription factors (TFs) are necessary for deciphering the complex mechanisms of transcription regulation in eukaryotes. In this paper, we proposed a nov...
Xiaoli Li, Jun-Xiang Lee, Bharadwaj Veeravalli, Se...
DATE
2007
IEEE
155views Hardware» more  DATE 2007»
16 years 29 days ago
Design fault directed test generation for microprocessor validation
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
Deepak Mathaikutty, Sandeep K. Shukla, Sreekumar V...
ECRTS
2007
IEEE
16 years 29 days ago
Thermal Faults Modeling Using a RC Model with an Application to Web Farms
Today’s CPUs consume a significant amount of power and generate a high amount of heat, requiring an active cooling system to support reliable operations. In case of cooling sys...
Alexandre P. Ferreira, Daniel Mossé, Jae C....
GLOBECOM
2007
IEEE
16 years 29 days ago
CSMA Self-Adaptation Based on Interference Differentiation
—this paper addresses the design challenge of interference mitigation in the emerging high density (HD) wireless LAN. It is proposed to differentiate interference according to th...
Jing Zhu, Xingang Guo, Sumit Roy, Konstantina Papa...