Sciweavers

298 search results - page 29 / 60
» A cost-driven approach to role engineering
Sort
View
FSTTCS
2001
Springer
14 years 8 days ago
Distributed LTL Model Checking Based on Negative Cycle Detection
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
Lubos Brim, Ivana Cerná, Pavel Krcál...
CODES
2000
IEEE
14 years 6 days ago
Automatic test bench generation for simulation-based validation
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
Marcello Lajolo, Luciano Lavagno, Maurizio Rebaude...
AGILEDC
2004
IEEE
13 years 11 months ago
Direct Verbal Communication as a Catalyst of Agile Knowledge Sharing
This paper discusses the role of conversation and social interactions as the key element of effective knowledge sharing in an agile process. It also presents the observations made...
Grigori Melnik, Frank Maurer
GROUP
2005
ACM
14 years 1 months ago
An optimization approach to group coupling in heterogeneous collaborative systems
Recent proliferation of computing devices has brought attention to heterogeneous collaborative systems, where key challenges arise from the resource limitations and disparities. S...
Carlos D. Correa, Ivan Marsic
BMCBI
2008
116views more  BMCBI 2008»
13 years 8 months ago
The combination approach of SVM and ECOC for powerful identification and classification of transcription factor
Background: Transcription factors (TFs) are core functional proteins which play important roles in gene expression control, and they are key factors for gene regulation network co...
Guangyong Zheng, Ziliang Qian, Qing Yang, Chaochun...