Sciweavers

1054 search results - page 8 / 211
» Compositional Refinement of Interactive Systems Modelled by ...
Sort
View
ATAL
2003
Springer
13 years 12 months ago
A formal compositional model of multiagent interaction
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
Sea Ling, Seng Wai Loke
ENTCS
2007
91views more  ENTCS 2007»
13 years 6 months ago
Towards a Coordination Model for Interactive Systems
When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition of the different interactors pre...
Marco Antonio Barbosa, Luís Soares Barbosa,...
DICS
2006
13 years 8 months ago
Definition and Correct Refinement of Operation Specifications
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
Thomas Baar, Slavisa Markovic, Frédé...
ICIP
2007
IEEE
14 years 8 months ago
A New Angle-Based Spatial Modeling for Query by Visual Thesaurus Composition
Querying by Visual Thesaurus (VT) is a novel paradigm for content-based image retrieval approaches for it gives the user the possibility, in case of inappropriate starting example...
Hichem Houissa, Nozha Boujemaa
MTA
2000
112views more  MTA 2000»
13 years 6 months ago
Interactive Multimedia Documents: A Modeling, Authoring and Rendering Approach
In this paper we present our research and development experience in the context of Interactive Multimedia Documents (IMDs). We define a rich model for such documents covering the ...
Michalis Vazirgiannis, D. Tsirikos, Th. Markousis,...