159 search results - page 3 / 32 » Generic Composition |
ECMDAFA
2008
Springer
13 years 10 months ago
2008
Springer
The increasing complexity of software applications requires improved software development techniques in order to cope with, a.o., software reuse and evolution, the management of he...
FAC
2002
13 years 8 months ago
2002
ACS
2008
13 years 8 months ago
2008
The integration of two important categorical frameworks
IFL
2005
Springer
14 years 2 months ago
2005
Springer
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
IEEESP
2011
13 years 1 days ago
2011
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...