Sciweavers

1604 search results - page 64 / 321
» Development Separation in Lambda-Calculus
Sort
View
JSW
2008
105views more  JSW 2008»
13 years 10 months ago
Formal Models for Architecture Aspects and Their Weaving
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
Chunhua Yang, Haiyang Wang
ICA
2010
Springer
13 years 8 months ago
Blind Extraction of Intermittent Sources
In this work, we tackle the problem of blind extraction of intermittent sources. Our approach is based on the generalized eigenvector decomposition of covariance matrices and exten...
Bertrand Rivet, Leonardo Tomazeli Duarte, Christia...
ENASE
2009
88views Hardware» more  ENASE 2009»
13 years 7 months ago
FOCAS: An Enginering Environment for Service-Based Applications
Service composition is an important topic, but so far addressed from a technical and low level perspective. The issue is not (too much) the orchestration formalism, but rather the ...
Gabriel Pedraza, Idrissa A. Dieng, Jacky Estublier
IJEIS
2010
113views more  IJEIS 2010»
13 years 7 months ago
A Good Role Model for Ontologies: Collaborations
Abstract. Ontologies are today used to annotate web data with machine processable semantics and for domain modeling. As the use of ontologies increases and the ontologies themselve...
Michael Pradel, Jakob Henriksson, Uwe Aßmann
ECOOP
2005
Springer
14 years 3 months 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