Volume 80; Issue 7

Journal of Systems and Software

Volume 80; Issue 7
1

Characterizing robustness in dynamic real-time systems

Year:
2007
Language:
english
File:
PDF, 263 KB
english, 2007
5

Guest Editor’s introduction

Year:
2007
Language:
english
File:
PDF, 84 KB
english, 2007
6

A framework for the static verification of api calls

Year:
2007
Language:
english
File:
PDF, 218 KB
english, 2007
7

Logic synthesis for PAL-based CPLD-s based on two-stage decomposition

Year:
2007
Language:
english
File:
PDF, 336 KB
english, 2007
11

Novel image copy detection with rotating tolerance

Year:
2007
Language:
english
File:
PDF, 1.93 MB
english, 2007
12

Identity based proxy multi-signature

Year:
2007
Language:
english
File:
PDF, 186 KB
english, 2007
14

Editorial Board

Year:
2007
Language:
english
File:
PDF, 26 KB
english, 2007
23

Application-specific garbage collection

Year:
2007
Language:
english
File:
PDF, 815 KB
english, 2007