Sciweavers

8623 search results - page 221 / 1725
» Software engineering for secure systems
Sort
View
ICSM
1996
IEEE
15 years 9 months ago
Using Informal and Formal Techniques for the Reverse Engineering of C Programs
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
CISIS
2007
IEEE
15 years 11 months ago
Leasing Variants in Distributed Systems
In recent years, the leasing concept has become increasingly popular in the field of distributed systems; main exam
Michael Schneider, Markus Aleksy, Martin Schader, ...
CODES
1999
IEEE
15 years 9 months ago
Worst-case analysis of discrete systems based on conditional abstractions
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
Felice Balarin
FSTTCS
1998
Springer
15 years 9 months ago
On the Confluence of Trace Rewriting Systems
In [NO88], a particular trace monoid M is constructed such that for the class of length
Markus Lohrey
TASE
2010
IEEE
15 years 5 days ago
Verification of a Timed Multitask System With Uppaal
System and program verification has been a large
Houda Bel Mokadem, Béatrice Bérard, ...