Sciweavers

3921 search results - page 643 / 785
» Transforming Models with ATL
Sort
View
128
Voted
ESCIENCE
2006
IEEE
15 years 4 months ago
Scientific Workflows: More e-Science Mileage from Cyberinfrastructure
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
Bertram Ludäscher, Shawn Bowers, Timothy M. M...
CCS
2008
ACM
15 years 2 months ago
Multi-use unidirectional proxy re-signatures
In 1998, Blaze, Bleumer, and Strauss suggested a cryptographic primitive termed proxy re-signature in which a proxy transforms a signature computed under Alice's secret key in...
Benoît Libert, Damien Vergnaud
107
Voted
BIS
2009
168views Business» more  BIS 2009»
15 years 1 months ago
Defining Adaptation Constraints for Business Process Variants
Abstract. In current dynamic business environment, it has been argued that certain characteristics of ad-hocism in business processes are desirable. Such business processes typical...
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori,...
SAC
2010
ACM
15 years 1 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
113
Voted
BMCBI
2006
153views more  BMCBI 2006»
15 years 26 days ago
2DDB - a bioinformatics solution for analysis of quantitative proteomics data
Background: We present 2DDB, a bioinformatics solution for storage, integration and analysis of quantitative proteomics data. As the data complexity and the rate with which it is ...
Lars Malmström, György Marko-Varga, Guni...