Search Sciweavers | Sciweavers

2870 search results - page 157 / 574

» Synchronization of multi-agent systems

click to vote

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

14 years 5 months ago

Download www-verimag.imag.fr

Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis

claim paper

Read More »

click to vote

MODELS
2009
Springer

84views Natural Language Processing» more MODELS 2009»

Generating Synchronization Engines between Running Systems and Their Model-Based Views

14 years 4 months ago

Download research.nii.ac.jp

Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huan...

claim paper

Read More »

click to vote

FMICS
2007
Springer

125views Formal Methods» more FMICS 2007»

Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel

14 years 4 months ago

Download www.cse.iitb.ac.in

Gérard Berry

claim paper

Read More »

click to vote

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

14 years 4 months ago

Download www.uni-koblenz.de

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...

claim paper

Read More »

click to vote

ISCAS
2006
IEEE

66views Hardware» more ISCAS 2006»

Switch synchronizing delayed feedback control for piecewise linear systems

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers