8555 search results - page 324 / 1711 » Property Based Coordination |
194
Voted
ESEC
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
208
click to vote
AAAI
1990
15 years 8 months ago
1990
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas containing sorted variables. It develops an algorith...
201
click to vote
ISMIS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Subsystem based generalizations of rough set approximations are investigated. Instead of using an equivalence relation, an arbitrary binary relation is used to construct ...
180
Voted
VLDB
1995
ACM
15 years 11 months ago
1995
ACM
The paper presents (i) two similarity based methods for retrieval of pictures using indices on spatial relationships; (ii) efficient algorithms for the deduction and reduction of ...
202
click to vote
CEC
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we study the dynamical properties of the population based incremental learning (PBIL) algorithm when it uses truncation, proportional, and Boltzmann selection schema...