Search Sciweavers | Sciweavers

15787 search results - page 125 / 3158

» Is Software Engineering Training Enough for Software Enginee...

click to vote

PSSE
2004
Springer

100views Software Engineering» more PSSE 2004»

Real-Time and Fault-Tolerant Systems

14 years 2 months ago

Download www.iist.unu.edu

Zhiming Liu, Mathai Joseph

claim paper

Read More »

click to vote

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

14 years 2 months ago

Download www-sop.inria.fr

Gilles Barthe, Amitabh Basu, Tamara Rezk

claim paper

Read More »

click to vote

VMCAI
2004
Springer

200views Software Engineering» more VMCAI 2004»

A Complete Method for the Synthesis of Linear Ranking Functions

14 years 2 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

click to vote

VMCAI
2004
Springer

88views Software Engineering» more VMCAI 2004»

Security, Protocols, and Trust

14 years 2 months ago

Download dimacs.rutgers.edu

Joshua D. Guttman

claim paper

Read More »

click to vote

VMCAI
2004
Springer

121views Software Engineering» more VMCAI 2004»

Checking Interval Based Properties for Reactive Systems

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers