4761 search results - page 112 / 953 » Components, Frameworks, Patterns |
172
click to vote
CBSE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
136
click to vote
CC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present an algorithm for counting the irreducible components of a complex algebraic variety defined by a fixed number of polynomials encoded as straight-line programs ...
136
click to vote
ENTCS
2007
15 years 4 months ago
2007
We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an ap...
147
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, a Bayesian LBP operator is proposed. This operator is formulated in a novel Filtering, Labeling and Statistic (FLS) framework for texture descriptors. In the framew...
152
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we describe how we handle heterogeneity in web service interaction through a choreography mechanism that we have developed for IRS-III. IRS-III is a framewo...