Sciweavers

15811 search results - page 368 / 3163
» Search-based software engineering
Sort
View
TACS
1991
Springer
15 years 10 months ago
Authentication and Delegation with Smart-cards
Martín Abadi, Michael Burrows, C. Kaufman, ...
TACS
1991
Springer
15 years 10 months ago
An Abstract Interpretation for ML Equality Kinds
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
FSEN
2009
Springer
15 years 10 months ago
Typing Asymmetric Client-Server Interaction
Franco Barbanera, Sara Capecchi, Ugo de'Liguoro
114
Voted
AOSD
2008
ACM
15 years 8 months ago
Relational aspects as tracematches
Eric Bodden, Reehan Shaikh, Laurie J. Hendren
ARCS
2008
Springer
15 years 8 months ago
A Hardware Packet Re-Sequencer Unit for Network Processors
Michael Meitinger, Rainer Ohlendorf, Thomas Wild, ...