Search Sciweavers | Sciweavers

12981 search results - page 281 / 2597

» Model Checking and Abstraction

140

click to vote

ATAL
2008
Springer

81views Intelligent Agents» more ATAL 2008»

Models and algorithmic approaches for cooperative multi-robot systems: thesis abstract

15 years 8 months ago

Download www.aamas-conference.org

Noa Agmon

claim paper

Read More »

127

click to vote

DAGSTUHL
2007

113views Software Engineering» more DAGSTUHL 2007»

07351 Abstracts Collection - Formal Models of Belief Change in Rational Agents

15 years 8 months ago

Download drops.dagstuhl.de

Giacomo Bonanno, James P. Delgrande, Jér&oc...

claim paper

Read More »

113

click to vote

DAGSTUHL
2007

86views Software Engineering» more DAGSTUHL 2007»

07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism

15 years 8 months ago

Download drops.dagstuhl.de

David Chi-Leung Wong, Albert Cohen, María J...

claim paper

Read More »

113

click to vote

DAGSTUHL
2007

85views Software Engineering» more DAGSTUHL 2007»

07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems

15 years 8 months ago

Download drops.dagstuhl.de

Holger Giese, Gabor Karsai, Edward Lee, Bernhard R...

claim paper

Read More »

232

click to vote

DSML
2008

160views Formal Methods» more DSML 2008»

Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers