Search Sciweavers | Sciweavers

7209 search results - page 65 / 1442

» Software Engineering for Multi-Agent Systems

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

14 years 2 months ago

Download www.jaist.ac.jp

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...

claim paper

Read More »

click to vote

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

14 years 2 months ago

Download se.ethz.ch

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...

claim paper

Read More »

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

14 years 2 months ago

Download ropas.snu.ac.kr

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...

claim paper

Read More »

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

14 years 2 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

click to vote

WOSS
2004
ACM

112views Software Engineering» more WOSS 2004»

A planning based approach to failure recovery in distributed systems

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers