Sciweavers

684 search results - page 19 / 137
» Model Bus: Towards the Interoperability of Modelling Tools
Sort
View
CEEMAS
2005
Springer
14 years 2 months ago
Towards an Institutional Environment Using Norms for Contract Performance
Abstract. A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in ...
Henrique Lopes Cardoso, Eugénio C. Oliveira
MMM
2006
Springer
130views Multimedia» more  MMM 2006»
14 years 2 months ago
Detailed audiovisual profile: enabling interoperability between MPEG-7 based systems
MPEG-7 is an excellent choice for the description of audiovisual content due to its flexibility and comprehensiveness. The drawback is that these properties also increase the comp...
Werner Bailer, Peter Schallauer
CSAC
2006
13 years 10 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
MDM
2009
Springer
130views Communications» more  MDM 2009»
14 years 3 months ago
Towards an Indoor Level-of-Detail Model for Route Visualization
Indoor routing represents an essential feature required by applications and systems that provide spatial information about complex sites, buildings and infrastructures such as in ...
Benjamin Hagedorn, Matthias Trapp, Tassilo Glander...
DATE
2003
IEEE
122views Hardware» more  DATE 2003»
14 years 2 months ago
Synthesis of Complex Control Structures from Behavioral SystemC Models
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...
Francesco Bruschi, Fabrizio Ferrandi