286 search results - page 22 / 58 » Crypto Engineering: Some History and Some Case Studies |
RE
2006
Springer
13 years 7 months ago
2006
Springer
Pre-requirements specification tracing concerns the identification and maintenance of relationships between requirements and the knowledge and information used by analysts to info...
CLEIEJ
2004
13 years 7 months ago
2004
Because of its facilities for the generalization and specialization of concepts and the unambiguous terminology they provide, ontologies are being used for the representation of re...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
ISPASS
2010
IEEE
2010
IEEE
A study of hardware assisted IP over InfiniBand and its impact on enterprise data center performance
14 years 29 days ago
— High-performance sockets implementations such as the Sockets Direct Protocol (SDP) have traditionally showed major performance advantages compared to the TCP/IP stack over Infi...
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
In this chapter, we explore the emerging research domain of modeldriven software refactoring. Program refactoring is a proven technique that aims at improving the quality of sourc...