Sciweavers

1156 search results - page 151 / 232
» Compositional Methods for Information-Hiding
Sort
View
FORTE
2003
13 years 10 months ago
Behavioural Contracts for a Sound Assembly of Components
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
Cyril Carrez, Alessandro Fantechi, Elie Najm
SPIESR
2001
141views Database» more  SPIESR 2001»
13 years 10 months ago
Image retrieval based on region shape similarity
This paper presents an image retrieval method based on region shape similarity. In our approach, we first segment images into primitive regions and then combine some of the primit...
Cheng Chang, Wenyin Liu, HongJiang Zhang
NAACL
2003
13 years 10 months ago
Category-based Pseudowords
A pseudoword is a composite comprised of two or more words chosen at random; the individual occurrences of the original words within a text are replaced by their conflation. Pseu...
Preslav Nakov, Marti A. Hearst
FLAIRS
2000
13 years 10 months ago
Verification of Cooperating Systems - An Approach Based on Formal Languages
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
Peter Ochsenschläger, Jürgen Repp, Rolan...
ALC
1997
13 years 10 months ago
Synthesising interconnections
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the ca...
José Luiz Fiadeiro, Antónia Lopes, T...