Sciweavers

345 search results - page 18 / 69
» GraphML Progress Report
Sort
View
COMPUTER
2007
103views more  COMPUTER 2007»
13 years 7 months ago
Examining the Challenges of Scientific Workflows
Workflows have recently emerged as a paradigm for representing and managing complex distributed scientific computations and therefore accelerate the pace of scientific progress. A...
Yolanda Gil, Ewa Deelman, Mark H. Ellisman, Thomas...
JSS
2008
113views more  JSS 2008»
13 years 7 months ago
A model for software rework reduction through a combination of anomaly metrics
Analysis of anomalies reported during testing of a project can tell a lot about how well the processes and products work. Still, organizations rarely use anomaly reports for more t...
Lars-Ola Damm, Lars Lundberg, Claes Wohlin
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
JSW
2008
123views more  JSW 2008»
13 years 7 months ago
Component-oriented Reliability Analysis and Optimal Version-upgrade Problems for Open Source Software
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
Yoshinobu Tamura, Shigeru Yamada
PAMI
2010
160views more  PAMI 2010»
13 years 5 months ago
In the Eye of the Beholder: A Survey of Models for Eyes and Gaze
—Despite active research and significant progress in the last 30 years, eye detection and tracking remains challenging due to the individuality of eyes, occlusion, variability in...
Dan Witzner Hansen, Qiang Ji