Sciweavers

16725 search results - page 246 / 3345
» Engineering Software Correctness
Sort
View
86
Voted
COMPSAC
1998
IEEE
15 years 7 months ago
Data Security
Elisa Bertino, Elena Ferrari
104
Voted
CODES
2000
IEEE
15 years 7 months ago
A generic tool set for application specific processor architectures
Frank A. Engel, Johannes Nührenberg, Gerhard ...
100
Voted
FOSSACS
1998
Springer
15 years 7 months ago
A Cook's Tour of Equational Axiomatizations for Prefix Iteration
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...
107
Voted
FOSSACS
2000
Springer
15 years 7 months ago
Hierarchical Graph Transformation
Frank Drewes, Berthold Hoffmann, Detlef Plump
120
Voted
FSTTCS
2000
Springer
15 years 7 months ago
Frequency Assignment in Mobile Phone Systems
Martin Grötschel