Sciweavers

8623 search results - page 96 / 1725
» Software engineering for secure systems
Sort
View
CODES
2001
IEEE
15 years 3 months ago
Minimizing system modification in an incremental design approach
Paul Pop, Petru Eles, Traian Pop, Zebo Peng
FSTTCS
2000
Springer
15 years 3 months ago
Arithmetic Circuits and Polynomial Replacement Systems
Pierre McKenzie, Heribert Vollmer, Klaus W. Wagner
WCRE
1998
IEEE
15 years 3 months ago
Program Comprehension in Multi-Language Systems
Bernt Kullbach, Andreas Winter, Peter Dahm, Jü...
EMSOFT
2008
Springer
15 years 1 months ago
State space abstraction for parameterized self-stabilizing embedded systems
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...