Sciweavers

1964 search results - page 339 / 393
» An analysis of extensible modelling for functional genomics ...
Sort
View
BCS
2008
14 years 11 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
SIGMOD
2005
ACM
146views Database» more  SIGMOD 2005»
15 years 10 months ago
Predicate Result Range Caching for Continuous Queries
Many analysis and monitoring applications require the repeated execution of expensive modeling functions over streams of rapidly changing data. These applications can often be exp...
Matthew Denny, Michael J. Franklin
CORR
2008
Springer
89views Education» more  CORR 2008»
14 years 9 months ago
One MEMS Design Tool with Maximal Six Design Flows
This paper presents one MEMS design tool with total six design flows, which makes it possible that the MEMS designers are able to choose the most suitable design flow for their sp...
Honglong Chang, Jinghui Xu, Jianbing Xie, Chenglia...
EKAW
1992
Springer
15 years 1 months ago
eQuality: An Application of DDucks to Process Management
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
Jeffrey Bradshaw, Peter Holm, Oscar Kipersztok, Th...
BMCBI
2008
95views more  BMCBI 2008»
14 years 10 months ago
Mining protein networks for synthetic genetic interactions
Background: The local connectivity and global position of a protein in a protein interaction network are known to correlate with some of its functional properties, including its e...
Sri R. Paladugu, Shan Zhao, Animesh Ray, Alpan Rav...