Sciweavers

17505 search results - page 181 / 3501
» Use Cases as Workflows
Sort
View
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
16 years 1 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
ICSOC
2005
Springer
16 years 5 hour ago
Demonstrating Dynamic Configuration and Execution of Web Processes
Web processes are next generation workflows on the web, created using Web services. In this paper we demonstrate the METEOR-S Configuration and Execution Environment (MCEE1 ) syste...
Karthik Gomadam, Kunal Verma, Amit P. Sheth, John ...
GRID
2007
Springer
16 years 20 days ago
Data placement for scientific applications in distributed environments
— Scientific applications often perform complex computational analyses that consume and produce large data sets. We are concerned with data placement policies that distribute dat...
Ann L. Chervenak, Ewa Deelman, Miron Livny, Mei-Hu...
BMCBI
2010
140views more  BMCBI 2010»
15 years 6 months ago
Quantification and deconvolution of asymmetric LC-MS peaks using the bi-Gaussian mixture model and statistical model selection
Background: Liquid chromatography-mass spectrometry (LC-MS) is one of the major techniques for the quantification of metabolites in complex biological samples. Peak modeling is on...
Tianwei Yu, Hesen Peng
FASE
2008
Springer
15 years 8 months ago
Automated Analysis of Permission-Based Security Using UMLsec
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
Jan Jürjens, Jörg Schreck, Yijun Yu