Sciweavers

13099 search results - page 405 / 2620
» Cooperative method development
Sort
View
CSB
2005
IEEE
136views Bioinformatics» more  CSB 2005»
16 years 14 days ago
Computational Method for Temporal Pattern Discovery in Biomedical Genomic Databases
With the rapid growth of biomedical research databases, opportunities for scientific inquiry have expanded quickly and led to a demand for computational methods that can extract b...
Mohammed I. Rafiq, Martin J. O'Connor, Amar K. Das
171
Voted
ITCC
2005
IEEE
16 years 12 days ago
Disciplined Methods of Software Specification: A Case Study
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
Robert L. Baber, David Lorge Parnas, Sergiy A. Vil...
PDC
2004
ACM
16 years 8 days ago
Experience clip: method for user participation and evaluation of mobile concepts
This paper describes experiences from using a field testing technique for collecting user experience information for evaluating mobile applications used in everyday life. Our tech...
Minna Isomursu, Kari Kuutti, Soili Väinä...
DFG
2004
Springer
16 years 7 days ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
ISQED
2003
IEEE
123views Hardware» more  ISQED 2003»
16 years 3 days ago
Advanced Module Packaging Method
An intermediate solution between conventional printed circuit board technology and wafer level packaging, WLP, is to fabricate interconnection circuits and flip chip assembly stru...
Peter C. Salmon