Sciweavers

2956 search results - page 319 / 592
» Databases and Higher Types
Sort
View
AFP
2008
Springer
249views Formal Methods» more  AFP 2008»
15 years 11 months 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...
130
Voted
BIBE
2007
IEEE
142views Bioinformatics» more  BIBE 2007»
15 years 11 months 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...
133
Voted
DATE
2007
IEEE
155views Hardware» more  DATE 2007»
15 years 11 months 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
15 years 11 months 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
15 years 11 months 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...