Sciweavers

5904 search results - page 781 / 1181
» Requirements for a Composition Language
Sort
View
ESOP
2007
Springer
16 years 1 months ago
Computing Procedure Summaries for Interprocedural Analysis
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
Sumit Gulwani, Ashish Tiwari
GPCE
2007
Springer
16 years 1 months ago
42: programmable models of computation for a component-based approach to heterogeneous embedded systems
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
Florence Maraninchi, Tayeb Bouhadiba
LTCONF
2007
Springer
16 years 1 months ago
Automatically Determining Attitude Type and Force for Sentiment Analysis
Recent work in sentiment analysis has begun to apply fine-grained semantic distinctions between expressions of attitude as features for textual analysis. Such methods, however, r...
Shlomo Argamon, Kenneth Bloom, Andrea Esuli, Fabri...
MODELS
2007
Springer
16 years 1 months ago
Magritte - A Meta-driven Approach to Empower Developers and End Users
Model-driven engineering is a powerful approach to build large-scale applications. However, an application’s metamodel often remains static after the initial development phase an...
Lukas Renggli, Stéphane Ducasse, Adrian Kuh...
MODELS
2007
Springer
16 years 1 months ago
11th International Workshop on Aspect-Oriented Modeling
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
Jörg Kienzle, Jeff Gray, Dominik Stein, Walte...