Search Sciweavers | Sciweavers

9974 search results - page 277 / 1995

» Software Interconnection Models

156

click to vote

LCPC
2005
Springer

172views System Software» more LCPC 2005»

Combined ILP and Register Tiling: Analytical Model and Optimization Framework

16 years 21 days ago

Download bit.csc.lsu.edu

Lakshminarayanan Renganarayanan, U. Ramakrishna, S...

claim paper

Read More »

123

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 20 days ago

Download www.sqrl.ul.ie

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

claim paper

Read More »

131

click to vote

ARCS
2004
Springer

122views Software Engineering» more ARCS 2004»

Towards Unified Dependability Modeling and Analysis

16 years 18 days ago

Download subs.emis.de

András Pataricza, Ferenc Györ

claim paper

Read More »

152

click to vote

EWSA
2004
Springer

98views Software Engineering» more EWSA 2004»

Using Architectural Models at Runtime: Research Challenges

16 years 18 days ago

Download www.cs.cmu.edu

David Garlan, Bradley R. Schmerl

claim paper

Read More »

141

click to vote

FATES
2004
Springer

86views Software Engineering» more FATES 2004»

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components

16 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers