Search Sciweavers | Sciweavers

2836 search results - page 50 / 568

» Model Checking for Software Architectures

178

click to vote

WICSA
2004

178views Software Engineering» more WICSA 2004»

Software Reconfiguration Patterns for Dynamic Evolution of Software Architectures

15 years 7 months ago

Download cs.gmu.edu

A software reconfiguration pattern is a solution to a problem in component-based software systems where the configuration needs to be updated while the system is operational. It d...

Hassan Gomaa, Mohamed Hussein

claim paper

Read More »

126

click to vote

ADAEUROPE
2009
Springer

100views Software Engineering» more ADAEUROPE 2009»

Modelling and Evaluating Real-Time Software Architectures

16 years 17 days ago

Download www.ppooa.com.es

José L. Fernández-Sánchez, Gl...

claim paper

Read More »

132

click to vote

WOSP
2000
ACM

85views Software Engineering» more WOSP 2000»

Deriving performance models of software architectures from message sequence charts

15 years 10 months ago

Download www.cse.iitb.ac.in

F. Andolfi, Federica Aquilani, Simonetta Balsamo, ...

claim paper

Read More »

145

click to vote

IWPC
2010
IEEE

158views Software Engineering» more IWPC 2010»

A Cognitive Model for Software Architecture Complexity

15 years 4 months ago

Download swerl.tudelft.nl

Eric Bouwers, Joost Visser, Carola Lilienthal, Ari...

claim paper

Read More »

175

click to vote

STTT
2010

116views more STTT 2010»

LTL satisfiability checking

15 years 20 days ago

Download ti.arc.nasa.gov

Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...

Kristin Y. Rozier, Moshe Y. Vardi

claim paper

Read More »

« Prev « First page 50 / 568 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers