Sciweavers

2513 search results - page 291 / 503
» Tamper-Tolerant Software: Modeling and Implementation
Sort
View
111
Voted
BMCBI
2008
188views more  BMCBI 2008»
15 years 28 days ago
anNET: a tool for network-embedded thermodynamic analysis of quantitative metabolome data
Background: Compared to other omics techniques, quantitative metabolomics is still at its infancy. Complex sample preparation and analytical procedures render exact quantification...
Nicola Zamboni, Anne Kümmel, Matthias Heinema...
126
Voted
BMCBI
2010
113views more  BMCBI 2010»
15 years 12 days ago
Probabilistic Principal Component Analysis for Metabolomic Data
Background: Data from metabolomic studies are typically complex and high-dimensional. Principal component analysis (PCA) is currently the most widely used statistical technique fo...
Gift Nyamundanda, Lorraine Brennan, Isobel Claire ...
ATAL
2009
Springer
15 years 7 months ago
Aerogility: an intelligent decision support system for managing service-based aftermarkets
This paper describes Aerogility - an intelligent decision support system for managing service-based aftermarkets. Aerogility uses multi-agent software technology to implement a dy...
Viet Dung Dang, Steve Osborn, Gary Vickers, Malcol...
WER
2001
Springer
15 years 5 months ago
Automatic Derivation of Workflow Specifications from Organizational Structures and Use Cases
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
María del Carmen Penadés, José...
81
Voted
WWW
2010
ACM
15 years 7 months ago
Fine-grained privilege separation for web applications
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
Akshay Krishnamurthy, Adrian Mettler, David Wagner