Sciweavers

130 search results - page 23 / 26
» Multi-Agent Systems as Composition of Observable Systems
Sort
View
SEFM
2005
IEEE
14 years 5 days ago
On Compatibility and Behavioural Substitutability of Component Protocols
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
Nabil Hameurlain
ICALP
2004
Springer
13 years 12 months ago
Syntactic Control of Concurrency
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
PAMI
1998
112views more  PAMI 1998»
13 years 6 months ago
Degraded Image Analysis: An Invariant Approach
—Analysis and interpretation of an image which was acquired by a nonideal imaging system is the key problem in many application areas. The observed image is usually corrupted by ...
Jan Flusser, Tomás Suk
SEW
2006
IEEE
14 years 18 days ago
Integrating Probability with Time and Shared-Variable Concurrency
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P....
ICDE
2008
IEEE
182views Database» more  ICDE 2008»
14 years 1 months ago
Two-phase schema matching in real world relational databases
— We propose a new approach to the problem of schema matching in relational databases that merges the hybrid and composite approach of combining multiple individual matching tech...
Nikolaos Bozovic, Vasilis Vassalos