Sciweavers

8492 search results - page 71 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
INFSOF
2000
91views more  INFSOF 2000»
14 years 9 months ago
An operational approach to the design of workflow systems
We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The Opj modeling language is su...
Rakesh Agarwal, Giorgio Bruno, Marco Torchiano
CORR
2007
Springer
97views Education» more  CORR 2007»
14 years 9 months ago
IRVO: an Interaction Model for designing Collaborative Mixed Reality systems
This paper presents an interaction model adapted to mixed reality environments known as IRVO (Interacting with Real and Virtual Objects). IRVO aims at modeling the interaction bet...
René Chalon, Bertrand T. David
DSD
2006
IEEE
110views Hardware» more  DSD 2006»
15 years 3 months ago
A Flexible, Syntax Independent Representation (SIR) for System Level Design Models
System Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer fro...
Ines Viskic, Rainer Dömer
DATE
2003
IEEE
123views Hardware» more  DATE 2003»
15 years 3 months ago
RTOS Modeling for System Level Design
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design ...
Andreas Gerstlauer, Haobo Yu, Daniel Gajski
CODES
2008
IEEE
14 years 11 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner