Sciweavers

273 search results - page 30 / 55
» A Compositional Semantics for Conditional Term Rewriting Sys...
Sort
View
FUIN
2006
96views more  FUIN 2006»
14 years 11 months ago
A Component Coordination Model Based on Mobile Channels
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
15 years 3 months ago
An approach for the state estimation of Takagi-Sugeno models and application to sensor fault diagnosis
— In this paper, a new method to design an observer for nonlinear systems described by Takagi-Sugeno (TS) model, with unmeasurable premise variables, is proposed. Most of existin...
Dalil Ichalal, Benoît Marx, José Rago...
97
Voted
WWW
2003
ACM
16 years 12 days ago
A Web Service Market Model based on Dependencies
The construction of composite Web Services from service fragments requires semantic descriptions of service offers and service requests. We propose the use of dependencies as a mo...
Robert Tolksdorf, Christian Bizer, Ralf Heese
IADIS
2009
14 years 9 months ago
Semantically distinct verb classes involved in sentiment analysis
The paper describes a novel rule-based approach to classification of opinion statements on the level of individual sentences. In contrast to existing approaches, the proposed meth...
Alena Neviarouskaya, Helmut Prendinger, Mitsuru Is...
DAC
2009
ACM
16 years 22 days ago
Contract-based system-level composition of analog circuits
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use...
Xuening Sun, Pierluigi Nuzzo, Chang-Ching Wu, Albe...