Search Sciweavers | Sciweavers

15253 search results - page 236 / 3051

» Integer-Programming Software Systems

158

click to vote

ISORC
2008
IEEE

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

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

16 years 28 days ago

Download pagesperso-systeme.lip6.fr

Fabrice Kordon

claim paper

Read More »

142

click to vote

CBSE
2007
Springer

87views Software Engineering» more CBSE 2007»

Monitoring Architectural Properties in Dynamic Component-Based Systems

16 years 21 days ago

Download goanna.cs.rmit.edu.au

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

claim paper

Read More »

124

click to vote

EMSOFT
2007
Springer

100views Software Engineering» more EMSOFT 2007»

Existential abstractions for distributed reactive systems via syntactic transformations

16 years 21 days ago

Download www.cecs.uci.edu

Vijay D'Silva, Sampada Sonalkar, S. Ramesh

claim paper

Read More »

150

click to vote

ICFEM
2007
Springer

107views Software Engineering» more ICFEM 2007»

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

16 years 20 days ago

Download users.ecs.soton.ac.uk

Jean-Raymond Abrial

claim paper

Read More »

119

click to vote

ISSRE
2005
IEEE

89views Software Engineering» more ISSRE 2005»

Covering Transitions of Concurrent Systems through Queues

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers