Sciweavers

8492 search results - page 635 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
EDOC
2008
IEEE
15 years 9 months ago
A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
Mohamed Ariff Ameedeen, Behzad Bordbar
181
Voted
DEXAW
2003
IEEE
99views Database» more  DEXAW 2003»
16 years 18 days ago
A Coloured Petri Net Trust Model
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
Peter Lory
ICALT
2010
IEEE
15 years 5 months ago
A New Approach Based on Modelled Traces to Compute Collaborative and Individual Indicators Human Interaction
We propose in this paper a new method to compute indicators based on models transformations. We use the concept of modeled trace and trace-based system to design an indicator. We u...
Tarek Djouad, Alain Mille, Christophe Reffay, Moha...
SPIN
2007
Springer
16 years 1 months ago
Scalable Multi-core LTL Model-Checking
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
ECBS
1999
IEEE
112views Hardware» more  ECBS 1999»
15 years 11 months ago
Metaprogrammable Toolkit for Model-Integrated Computing
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...
Ákos Lédeczi, Miklos Maroti, Gabor K...