Search Sciweavers | Sciweavers

7209 search results - page 118 / 1442

» Software Engineering for Multi-Agent Systems

click to vote

FSTTCS
2009
Springer

113views Software Engineering» more FSTTCS 2009»

Deductive Verification of Continuous Dynamical Systems

14 years 4 months ago

Download www-cs-students.stanford.edu

Ankur Taly, Ashish Tiwari

claim paper

Read More »

click to vote

ISORC
2008
IEEE

78views Distributed And Parallel Com...» more ISORC 2008»

Design Methodologies for Embedded Systems: Where is the Super-Glue?

14 years 4 months ago

Download pagesperso-systeme.lip6.fr

Fabrice Kordon

claim paper

Read More »

click to vote

CBSE
2007
Springer

87views Software Engineering» more CBSE 2007»

Monitoring Architectural Properties in Dynamic Component-Based Systems

14 years 4 months ago

Download goanna.cs.rmit.edu.au

Henry Muccini, Andrea Polini, Fabiano Ricci, Anton...

claim paper

Read More »

click to vote

EMSOFT
2007
Springer

100views Software Engineering» more EMSOFT 2007»

Existential abstractions for distributed reactive systems via syntactic transformations

14 years 4 months ago

Download www.cecs.uci.edu

Vijay D'Silva, Sampada Sonalkar, S. Ramesh

claim paper

Read More »

click to vote

ICFEM
2007
Springer

107views Software Engineering» more ICFEM 2007»

A System Development Process with Event-B and the Rodin Platform

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers