Search Sciweavers | Sciweavers

10669 search results - page 78 / 2134

» Software - Implemented Self-healing System

140

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

15 years 11 months ago

Download ropas.snu.ac.kr

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

claim paper

Read More »

127

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 11 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

105

click to vote

IUI
2004
ACM

99views Software Engineering» more IUI 2004»

Exploring the design and engineering of mixed reality systems

15 years 11 months ago

Download 141.115.28.2

Emmanuel Dubois, Philip D. Gray, Daniela Trevisan,...

claim paper

Read More »

109

click to vote

WOSS
2004
ACM

112views Software Engineering» more WOSS 2004»

A planning based approach to failure recovery in distributed systems

15 years 11 months ago

Download serl.cs.colorado.edu

Naveed Arshad, Dennis Heimbigner, Alexander L. Wol...

claim paper

Read More »

164

click to vote

WOSS
2004
ACM

147views Software Engineering» more WOSS 2004»

Self-adaptation for everyday systems

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers