1454 search results - page 284 / 291 » Stateful traits and their formalization |
114
Voted
COMCOM
2006
15 years 22 days ago
2006
the extensibility and evolution of network services and protocols had become a major research issue in recent years. The 'programmable' and 'active' network par...
101
click to vote
CORR
2006
Springer
15 years 21 days ago
2006
Springer
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...
106
Voted
FAC
2006
15 years 21 days ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
101
Voted
IJNSEC
2008
15 years 20 days ago
2008
In this paper, we investigate the issues in the analysis and design of provably secure message authentication codes (MACs) Nested MAC (NMAC) and Hash based MAC (HMAC) proposed by ...
112
click to vote
JUCS
2008
15 years 19 days ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...