Search Sciweavers | Sciweavers

9067 search results - page 29 / 1814

» Adaptive Model Checking

click to vote

WICSA
2008

138views Software Engineering» more WICSA 2008»

Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs

13 years 11 months ago

Download wwwp.dnsalias.org

With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...

Zhiming Chang, XinJun Mao, Zhichang Qi

claim paper

Read More »

click to vote

POPL
2002
ACM

101views Programming Languages» more POPL 2002»

Types as models: model checking message-passing programs

14 years 10 months ago

Download www.cs.cmu.edu

Sagar Chaki, Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

click to vote

AB
2008
Springer

384views Computational Biology» more AB 2008»

Tutorial on Model Checking: Modelling and Verification in Computer Science

14 years 4 months ago

Download fmv.jku.at

Armin Biere

claim paper

Read More »

click to vote

DSN
2005
IEEE

94views Computer Networks» more DSN 2005»

Model Checking Markov Reward Models with Impulse Rewards

14 years 3 months ago

Download pulungan.staff.ugm.ac.id

Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri,...

claim paper

Read More »

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Efficient Modeling of Embedded Memories in Bounded Model Checking

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers