Search Sciweavers | Sciweavers

22698 search results - page 77 / 4540

» Modeling in Software Engineering

162

click to vote

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

16 years 6 days ago

Download www.lsv.ens-cachan.fr

François Laroussinie, Jeremy Sproston

claim paper

Read More »

137

click to vote

ICFEM
2005
Springer

94views Software Engineering» more ICFEM 2005»

An Abstract Model for Process Mediation

16 years 5 days ago

Download www.di.unipi.it

Michael Altenhofen, Egon Börger, Jens Lemcke

claim paper

Read More »

115

click to vote

SEKE
2005
Springer

64views Software Engineering» more SEKE 2005»

Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications

16 years 4 days ago

Download www.sqrl.ul.ie

Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomi...

claim paper

Read More »

123

click to vote

ARCS
2004
Springer

122views Software Engineering» more ARCS 2004»

Towards Unified Dependability Modeling and Analysis

16 years 2 days ago

Download subs.emis.de

András Pataricza, Ferenc Györ

claim paper

Read More »

134

click to vote

EWSA
2004
Springer

98views Software Engineering» more EWSA 2004»

Using Architectural Models at Runtime: Research Challenges

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers