Sciweavers

3435 search results - page 145 / 687
» Aspect Model Unweaving
Sort
View
183
Voted
QEST
2008
IEEE
16 years 1 months ago
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
Husain Aljazzar, Stefan Leue
ICRA
2007
IEEE
142views Robotics» more  ICRA 2007»
16 years 1 months ago
Fitting 3D Models on Central Catadioptric Images
— Increasing the field of view of camera is an important issue practical in robot vision. One solution is to consider catadioptric camera that allows a 360o field of view. In t...
Éric Marchand, François Chaumette
183
Voted
SAC
2006
ACM
16 years 27 days ago
An evaluation of conceptual business process modelling languages
Conceptual Business Process Modelling Languages (BPMLs) express certain aspects of processes (e.g. activities, roles, interactions, data, etc.) and address different application a...
Beate List, Birgit Korherr
210
Voted
HASE
2005
IEEE
16 years 17 days ago
Design and Analysis of Fault Tolerant Architectures by Model Weaving
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
Péter Domokos, István Majzik
ATAL
2005
Springer
16 years 15 days ago
An information-based model for trust
In this paper we present a rich decision model for intelligent agents involved in multi issue negotiations. The model, grounded on information theory, takes into account the aspec...
Carles Sierra, John K. Debenham