Sciweavers

4890 search results - page 619 / 978
» From system specifications to component behavioral models
Sort
View
ECOOP
2005
Springer
16 years 10 days ago
Open Modules: Modular Reasoning About Advice
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
Jonathan Aldrich
LCPC
2000
Springer
15 years 10 months ago
SmartApps: An Application Centric Approach to High Performance Computing
State-of-the-art run-time systems are a poor match to diverse, dynamic distributed applications because they are designed to provide support to a wide variety of applications, with...
Lawrence Rauchwerger, Nancy M. Amato, Josep Torrel...
AAAI
2008
15 years 9 months ago
POIROT - Integrated Learning of Web Service Procedures
POIROT is an integration framework for combining machine learning mechanisms to learn hierarchical models of web services procedures from a single or very small set of demonstrati...
Mark H. Burstein, Robert Laddaga, David McDonald, ...
258
Voted
BMCBI
2007
148views more  BMCBI 2007»
15 years 7 months ago
Toward the automated generation of genome-scale metabolic networks in the SEED
Background: Current methods for the automated generation of genome-scale metabolic networks focus on genome annotation and preliminary biochemical reaction network assembly, but d...
Matthew DeJongh, Kevin Formsma, Paul Boillot, John...
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
16 years 7 months ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...