Search Sciweavers | Sciweavers

7209 search results - page 119 / 1442

» Software Engineering for Multi-Agent Systems

click to vote

ISSRE
2005
IEEE

89views Software Engineering» more ISSRE 2005»

Covering Transitions of Concurrent Systems through Queues

14 years 3 months ago

Download www.crim.ca

Jiale Huo, Alexandre Petrenko

claim paper

Read More »

click to vote

CBSE
2005
Springer

98views Software Engineering» more CBSE 2005»

A Contracting System for Hierarchical Components

14 years 3 months ago

Download fractal.ow2.org

Philippe Collet, Roger Rousseau, Thierry Coupaye, ...

claim paper

Read More »

click to vote

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

14 years 3 months ago

Download www.lsv.ens-cachan.fr

François Laroussinie, Jeremy Sproston

claim paper

Read More »

click to vote

FSTTCS
2005
Springer

99views Software Engineering» more FSTTCS 2005»

On Sampled Semantics of Timed Systems

14 years 3 months ago

Download www.fi.muni.cz

Pavel Krcál, Radek Pelánek

claim paper

Read More »

click to vote

SEKE
2005
Springer

98views Software Engineering» more SEKE 2005»

Formal Analysis of Workflow Systems with Security Considerations

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers