Search Sciweavers | Sciweavers

20655 search results - page 295 / 4131

» Exploring Software Systems

154

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

16 years 5 days ago

Download ropas.snu.ac.kr

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

claim paper

Read More »

135

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

16 years 5 days ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

125

click to vote

WOSS
2004
ACM

112views Software Engineering» more WOSS 2004»

A planning based approach to failure recovery in distributed systems

16 years 3 days ago

Download serl.cs.colorado.edu

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

claim paper

Read More »

172

Voted

WOSS
2004
ACM

147views Software Engineering» more WOSS 2004»

Self-adaptation for everyday systems

16 years 3 days ago

Download www.cs.cmu.edu

Svein O. Hallsteinsen, Erlend Stav, Jacqueline Flo...

claim paper

Read More »

142

click to vote

APSEC
2003
IEEE

124views Software Engineering» more APSEC 2003»

Security-Critical System Development with Extended Use Cases

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers